tests

informalsystems · Oct 25, 2023 · dafbaec · dafbaec
1 parent 2f58350
commit dafbaec
Show file tree

Hide file tree

Showing 2 changed files with 5 additions and 8 deletions.
diff --git a/examples/spells/BoundedUInt.qnt b/examples/spells/BoundedUInt.qnt
@@ -604,12 +604,4 @@ module BoundedUInt_Test {
 
 module BoundedUint8Test {
   import BoundedUInt_Test(BITS = 8).*
-}
-
-module BoundedUint32Test {
-  import BoundedUInt_Test(BITS = 32).*
-}
-
-module BoundedUint64Test {
-  import BoundedUInt_Test(BITS = 64).*
 }
diff --git a/quint/cli-tests.md b/quint/cli-tests.md
@@ -260,6 +260,11 @@ fi
 <!-- !test check rareSpells - Syntax/Types & Effects/Unit tests -->
     quint test ../examples/spells/rareSpells.qnt
 
+### OK on test BoundedUint8
+
+<!-- !test check BoundedUint8 - Syntax/Types & Effects/Unit tests -->
+    quint test --main=BoundedUint8Test ../examples/spells/BoundedUint.qnt
+
 ### OK on test bug843pureValCache
 
 <!-- !test check bug843pureValCache - Syntax/Types & Effects/Unit tests -->