Regen expectations

ProvableHQ · Oct 20, 2023 · 934ae42 · 934ae42
1 parent fc5b1f5
commit 934ae42
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 3 deletions.
diff --git a/tests/expectations/execution/eq.out b/tests/expectations/execution/eq.out
@@ -16,10 +16,10 @@ outputs:
       results:
         main:
           - input: "[0u32, 1u32]"
-            output: "SnarkVMError('test.aleo/main' is not satisfied on the given inputs (18459 constraints).)"
+            output: "SnarkVMError('test.aleo/main' is not satisfied on the given inputs (13430 constraints).)"
           - input: "[1u32, 1u32]"
             output: "[true]"
           - input: "[1u32, 2u32]"
-            output: "SnarkVMError('test.aleo/main' is not satisfied on the given inputs (18459 constraints).)"
+            output: "SnarkVMError('test.aleo/main' is not satisfied on the given inputs (13430 constraints).)"
           - input: "[2u32, 2u32]"
             output: "[true]"
diff --git a/tests/expectations/execution/primitive_casts.out b/tests/expectations/execution/primitive_casts.out
@@ -16,7 +16,7 @@ outputs:
       results:
         address_casts:
           - input: "[aleo1hjnn8jdxlzzlqjywamdx4hzcxny5gszzm0q5xmnae4ed6qqn2gys4ugtey]"
-            output: "SnarkVMError('test.aleo/address_casts' is not satisfied on the given inputs (35900 constraints).)"
+            output: "SnarkVMError('test.aleo/address_casts' is not satisfied on the given inputs (30871 constraints).)"
         bool_casts:
           - input: "[false]"
             output: "[aleo1qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq3ljyzc, false, 0field, 0group, 0i8, 0i16, 0i32, 0i64, 0i128, 0u8, 0u16, 0u32, 0u64, 0u128, 0scalar]"