From 4d66a861902aae12238f4a975435a990f8dfafcd Mon Sep 17 00:00:00 2001 From: Thomas Pani Date: Wed, 26 Jul 2023 10:15:57 +0200 Subject: [PATCH] Fix prisoners for examples dashboard (#1049) --- examples/.scripts/run-example.sh | 2 ++ examples/README.md | 2 +- examples/puzzles/prisoners/prisoners.qnt | 4 +--- 3 files changed, 4 insertions(+), 4 deletions(-) diff --git a/examples/.scripts/run-example.sh b/examples/.scripts/run-example.sh index 61e32c8f3..3ccdb9707 100755 --- a/examples/.scripts/run-example.sh +++ b/examples/.scripts/run-example.sh @@ -31,6 +31,8 @@ get_main () { main="--main=properChannelsTests" elif [[ "$file" == "cosmos/ics20/ics20.qnt" ]] ; then main="--main=ics20Test" + elif [[ "$file" == "puzzles/prisoners/prisoners.qnt" ]] ; then + main="--main=prisoners3" elif [[ "$file" == "solidity/ERC20/erc20.qnt" ]] ; then main="--main=erc20Tests" elif [[ "$file" == "solidity/SimplePonzi/simplePonzi.qnt" ]] ; then diff --git a/examples/README.md b/examples/README.md index 7ce5bd4c6..5ad4cd6ac 100644 --- a/examples/README.md +++ b/examples/README.md @@ -81,7 +81,7 @@ listed without any additional command line arguments. | [language-features/records.qnt](./language-features/records.qnt) | :white_check_mark: | :white_check_mark: | :white_check_mark: | :white_check_mark: | | [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/prisoners/prisoners.qnt](./puzzles/prisoners/prisoners.qnt) | :white_check_mark: | :white_check_mark: | :white_check_mark: | :white_check_mark: | | [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: | :white_check_mark: | | [solidity/Coin/coin.qnt](./solidity/Coin/coin.qnt) | :white_check_mark: | :white_check_mark: | :white_check_mark: | :white_check_mark: | diff --git a/examples/puzzles/prisoners/prisoners.qnt b/examples/puzzles/prisoners/prisoners.qnt index 97f47fb2c..d9419cfd4 100644 --- a/examples/puzzles/prisoners/prisoners.qnt +++ b/examples/puzzles/prisoners/prisoners.qnt @@ -131,7 +131,5 @@ module prisoners { // An instance of prisoners for the set of size 3 module prisoners3 { - import prisoners(allPrisoners = Set("A", "B", "C"), counter = "A") as P - - export P.* + import prisoners(allPrisoners = Set("A", "B", "C"), counter = "A").* }