Bring back the river example

The issue we encountered before (#963) should've been fixed in Apalache: apalache-mc/apalache#2606
informalsystems · Jun 27, 2023 · d157dfe · d157dfe
1 parent 81f70ad
commit d157dfe
Show file tree

Hide file tree

Showing 3 changed files with 3 additions and 2 deletions.
diff --git a/examples/README.md b/examples/README.md
@@ -71,6 +71,7 @@ listed without any additional command line arguments.
 | [language-features/sets.qnt](./language-features/sets.qnt) | :white_check_mark: | :white_check_mark: | :white_check_mark: | :white_check_mark: |
 | [language-features/tuples.qnt](./language-features/tuples.qnt) | :white_check_mark: | :white_check_mark: | :x: | :x: |
 | [puzzles/prisoners/prisoners.qnt](./puzzles/prisoners/prisoners.qnt) | :white_check_mark: | :white_check_mark: | :x: | :x: |
+| [puzzles/river/river.qnt](./puzzles/river/river.qnt) | :white_check_mark: | :white_check_mark: | :white_check_mark: | :white_check_mark: |
 | [puzzles/tictactoe/tictactoe.qnt](./puzzles/tictactoe/tictactoe.qnt) | :white_check_mark: | :white_check_mark: | :white_check_mark: | :x: |
 | [solidity/Coin/coin.qnt](./solidity/Coin/coin.qnt) | :white_check_mark: | :white_check_mark: | :white_check_mark: | :x: |
 | [solidity/ERC20/erc20.qnt](./solidity/ERC20/erc20.qnt) | :white_check_mark: | :white_check_mark: | :x: | :x: |

diff --git a/examples/puzzles/.river/river.qnt → examples/puzzles/river/river.qnt b/examples/puzzles/.river/river.qnt → examples/puzzles/river/river.qnt
diff --git a/quint/cli-tests.md b/quint/cli-tests.md
@@ -387,10 +387,10 @@ fi
 <!-- !test exit 1 -->
 <!-- !test check river - Run noSolution -->
     quint run --invariant=noSolution --seed=0x2fa6b93d0df3f \
-      ../examples/puzzles/.river/river.qnt
+      ../examples/puzzles/river/river.qnt
 
 ### OK on run river::safety
 
 <!-- !test exit 0 -->
 <!-- !test check river - Run safety -->
-    quint run --invariant=safety ../examples/puzzles/.river/river.qnt
+    quint run --invariant=safety ../examples/puzzles/river/river.qnt