Fix test in examples dashboard

informalsystems · Oct 31, 2023 · ce5b6df · ce5b6df
1 parent 94df09c
commit ce5b6df
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 1 deletion.
diff --git a/examples/.scripts/run-example.sh b/examples/.scripts/run-example.sh
@@ -88,6 +88,8 @@ get_main () {
     main="--main=gradualPonziTest"
   elif [[ "$file" == "cosmwasm/zero-to-hero/vote.qnt" ]] ; then
     main="--main=state"
+  elif [[ "$file" == "spells/BoundedUInt.qnt" ]] ; then
+    main="--main=BoundedUInt8Test"
   fi
   echo "${main}"
 }

diff --git a/examples/README.md b/examples/README.md
@@ -94,7 +94,7 @@ listed without any additional command line arguments.
 | [solidity/SimpleAuction/SimpleAuction.qnt](./solidity/SimpleAuction/SimpleAuction.qnt) | :white_check_mark: | :white_check_mark: | :white_check_mark: | N/A[^nostatemachine] |
 | [solidity/SimplePonzi/simplePonzi.qnt](./solidity/SimplePonzi/simplePonzi.qnt) | :white_check_mark: | :white_check_mark: | :white_check_mark: | :white_check_mark: |
 | [spells/basicSpells.qnt](./spells/basicSpells.qnt) | :white_check_mark: | :white_check_mark: | :white_check_mark: | N/A[^nostatemachine] |
-| [spells/BoundedUInt.qnt](./spells/BoundedUInt.qnt) | :white_check_mark: | :white_check_mark: | :x: | N/A[^nostatemachine] |
+| [spells/BoundedUInt.qnt](./spells/BoundedUInt.qnt) | :white_check_mark: | :white_check_mark: | :white_check_mark: | N/A[^nostatemachine] |
 | [spells/commonSpells.qnt](./spells/commonSpells.qnt) | :white_check_mark: | :white_check_mark: | :white_check_mark: | N/A[^nostatemachine] |
 | [spells/rareSpells.qnt](./spells/rareSpells.qnt) | :white_check_mark: | :white_check_mark: | :white_check_mark: | N/A[^nostatemachine] |
 | [verification/defaultOpNames.qnt](./verification/defaultOpNames.qnt) | :white_check_mark: | :white_check_mark: | :white_check_mark: | :white_check_mark: |