Merge pull request #1230 from informalsystems/jk/ciWeek

Bounded unsigned integer spells
informalsystems · Nov 8, 2023 · 3b0209c · 3b0209c
2 parents 8772f56 + f05dd1e
commit 3b0209c
Show file tree

Hide file tree

Showing 4 changed files with 566 additions and 0 deletions.
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,6 +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: | :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: |