diff --git a/examples/.scripts/run-example.sh b/examples/.scripts/run-example.sh index ff907eb89..2181b4e22 100755 --- a/examples/.scripts/run-example.sh +++ b/examples/.scripts/run-example.sh @@ -55,7 +55,7 @@ result () { elif [[ "$file" == "language-features/option.qnt" && "$cmd" == "verify" ]] ; then printf "https://github.com/informalsystems/quint/issues/244" elif [[ "$file" == "language-features/tuples.qnt" && "$cmd" == "verify" ]] ; then - printf "https://github.com/informalsystems/apalache/issues/2670" + printf "https://github.com/informalsystems/quint/issues/1113" elif [[ "$file" == "solidity/icse23-fig7/lottery.qnt" && "$cmd" == "verify" ]] ; then printf "https://github.com/informalsystems/quint/issues/1019" fi diff --git a/examples/README.md b/examples/README.md index 9dbff5767..776d23faa 100644 --- a/examples/README.md +++ b/examples/README.md @@ -83,7 +83,7 @@ listed without any additional command line arguments. | [language-features/option.qnt](./language-features/option.qnt) | :white_check_mark: | :white_check_mark: | :white_check_mark: | :x:https://github.com/informalsystems/quint/issues/244 | | [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: | :white_check_mark: | :x:https://github.com/informalsystems/apalache/issues/2670 | +| [language-features/tuples.qnt](./language-features/tuples.qnt) | :white_check_mark: | :white_check_mark: | :white_check_mark: | :x:https://github.com/informalsystems/quint/issues/1113 | | [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: |