ProvableHQ/leo
1
1
Fork 0
mirror of https://github.com/ProvableHQ/leo.git synced 2024-12-25 19:22:01 +03:00
Code Issues Packages Projects Releases Wiki Activity

Regen expectations

Browse Source
This commit is contained in:
Pranav Gaddamadugu 2023-10-19 21:44:05 -04:00
parent fc5b1f517d
commit 934ae42b09
2 changed files with 3 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
tests/expectations/execution/eq.out
View File

@ -16,10 +16,10 @@ outputs:
results: results:
main: main:
- input: "[0u32, 1u32]" - 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]" - input: "[1u32, 1u32]"
output: "[true]" output: "[true]"
- input: "[1u32, 2u32]" - 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]" - input: "[2u32, 2u32]"
output: "[true]" output: "[true]"

2
tests/expectations/execution/primitive_casts.out
View File

@ -16,7 +16,7 @@ outputs:
results: results:
address_casts: address_casts:
- input: "[aleo1hjnn8jdxlzzlqjywamdx4hzcxny5gszzm0q5xmnae4ed6qqn2gys4ugtey]" - 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: bool_casts:
- input: "[false]" - input: "[false]"
output: "[aleo1qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq3ljyzc, false, 0field, 0group, 0i8, 0i16, 0i32, 0i64, 0i128, 0u8, 0u16, 0u32, 0u64, 0u128, 0scalar]" output: "[aleo1qqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq3ljyzc, false, 0field, 0group, 0i8, 0i16, 0i32, 0i64, 0i128, 0u8, 0u16, 0u32, 0u64, 0u128, 0scalar]"