Quote bigints in integration tests

apalache-mc · Jul 20, 2023 · 3f6bb18 · 3f6bb18
1 parent 31d6464
commit 3f6bb18
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/tla-io/src/test/resources/clockSync3.json b/tla-io/src/test/resources/clockSync3.json
diff --git a/tla-io/src/test/resources/tictactoe.json b/tla-io/src/test/resources/tictactoe.json