add (failing) test for issue #194 - boolean conversions of UInt64 don…

…'t compare equal
algorandfoundation · Aug 9, 2024 · 40437e2 · 40437e2
1 parent 63b14b9
commit 40437e2
Show file tree

Hide file tree

Showing 43 changed files with 650 additions and 310 deletions.
diff --git a/examples/sizes.txt b/examples/sizes.txt
@@ -82,7 +82,8 @@
   merkle/MerkleTree                                206       197      9       197      0 
   module_consts                                     52        50      2        50      0 
   nested_loops/Nested                              217       200     17       200      0 
-  regression_118                                   148       100     48       100      0 
+  regression_tests/Issue118                        148       100     48       100      0 
+  regression_tests/Issue194                         27        12     15        12      0 
   reinterpret_cast                                 127       109     18       109      0 
   scratch_slots                                    105        94     11        94      0 
   scratch_slots/2                                  105        94     11        94      0 

diff --git a/test_cases/regression_118/out/Contract.arc32.json b/test_cases/regression_118/out/Contract.arc32.json
diff --git a/test_cases/regression_118/out/Contract.clear.mir b/test_cases/regression_118/out/Contract.clear.mir
diff --git a/test_cases/regression_118/out/Contract.clear.teal b/test_cases/regression_118/out/Contract.clear.teal
diff --git a/test_cases/regression_118/out_O2/Contract.clear.teal b/test_cases/regression_118/out_O2/Contract.clear.teal
diff --git a/test_cases/regression_118/out_unoptimized/Contract.clear.teal b/test_cases/regression_118/out_unoptimized/Contract.clear.teal
diff --git a/test_cases/regression_118/contract.py → test_cases/regression_tests/issue_118.py b/test_cases/regression_118/contract.py → test_cases/regression_tests/issue_118.py
@@ -2,7 +2,8 @@
 from algopy.arc4 import Bool, DynamicArray, String, Tuple, UInt256, abimethod
 
 
-class Contract(ARC4Contract):
+class Issue118(ARC4Contract):
+    # ref: https://github.com/algorandfoundation/puya/issues/118
     @abimethod
     def verify(self, values: DynamicArray[UInt256]) -> Tuple[Bool, String]:
         val1 = Bool(

diff --git a/test_cases/regression_tests/issue_194.py b/test_cases/regression_tests/issue_194.py
@@ -0,0 +1,16 @@
+from algopy import Contract, UInt64
+
+
+class Issue194(Contract):
+    # ref: https://github.com/algorandfoundation/puya/issues/194
+    def approval_program(self) -> bool:
+        assert bool(UInt64(1)) == bool(UInt64(2))
+        two = UInt64(2)
+        match bool(two):
+            case True:
+                return True
+            case _:
+                return False
+
+    def clear_state_program(self) -> bool:
+        return True