-
Notifications
You must be signed in to change notification settings - Fork 50
Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Fix some integration test bugs (#516)
* Run all builtin tests as integration tests * Fix bitwise infer value bug * Allow checking for failures * Update blake test * Fix checkUsedCells bug * Update blake test * Fix error handling * Fix error handling * Fix unidentified hints bug * Fix minor bug * Refactor to use NondetElementsOverX
- Loading branch information
Showing
6 changed files
with
89 additions
and
140 deletions.
There are no files selected for viewing
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| Original file line number | Diff line number | Diff line change |
|---|---|---|
| @@ -1,99 +1,99 @@ | ||
| =========================================================================================================================== | ||
| | File | PythonVM (ms) | GoVM (ms) | | ||
| =========================================================================================================================== | ||
| | is_quad_residue.small.cairo | 815 | 122 | | ||
| | uint256_mul_div_mod.small.cairo | 975 | 112 | | ||
| --------------------------------------------------------------------------------------------------------------------------- | ||
| | memset.cairo | 723 | 107 | | ||
| | poseidon_test.starknet_with_keccak.cairo| 1330 | 108 | | ||
| --------------------------------------------------------------------------------------------------------------------------- | ||
| | pow.small.cairo | 810 | 109 | | ||
| | assert_not_zero.cairo | 749 | 108 | | ||
| --------------------------------------------------------------------------------------------------------------------------- | ||
| | search_sorted_lower.small.cairo | 849 | 107 | | ||
| | pow.small.cairo | 728 | 104 | | ||
| --------------------------------------------------------------------------------------------------------------------------- | ||
| | bitwise_builtin_test.starknet_with_keccak.cairo| 1312 | 108 | | ||
| | simple.cairo | 632 | 104 | | ||
| --------------------------------------------------------------------------------------------------------------------------- | ||
| | dict.cairo | 840 | 106 | | ||
| | is_quad_residue.small.cairo | 903 | 125 | | ||
| --------------------------------------------------------------------------------------------------------------------------- | ||
| | hintrefs.cairo | 1029 | 109 | | ||
| | split_int.small.cairo | 894 | 107 | | ||
| --------------------------------------------------------------------------------------------------------------------------- | ||
| | uint256_sqrt.small.cairo | 929 | 109 | | ||
| | set_add.small.cairo | 855 | 112 | | ||
| --------------------------------------------------------------------------------------------------------------------------- | ||
| | assert_250_bits.small.cairo | 843 | 109 | | ||
| | split64.small.cairo | 829 | 105 | | ||
| --------------------------------------------------------------------------------------------------------------------------- | ||
| | assert_not_equal.cairo | 923 | 182 | | ||
| | usort.small.cairo | 767 | 105 | | ||
| --------------------------------------------------------------------------------------------------------------------------- | ||
| | div_mod_n.small.cairo | 889 | 113 | | ||
| | assert_250_bits.small.cairo | 1111 | 105 | | ||
| --------------------------------------------------------------------------------------------------------------------------- | ||
| | ec.small.cairo | 4754 | 158 | | ||
| | blake.starknet_with_keccak.cairo | 47198 | 472 | | ||
| --------------------------------------------------------------------------------------------------------------------------- | ||
| | import_secp256R1P.small.cairo | 705 | 103 | | ||
| | memcpy.cairo | 745 | 224 | | ||
| --------------------------------------------------------------------------------------------------------------------------- | ||
| | usort.small.cairo | 916 | 106 | | ||
| | split_felt.small.cairo | 861 | 110 | | ||
| --------------------------------------------------------------------------------------------------------------------------- | ||
| | verify_ecdsa_signature.small.cairo | 747 | 104 | | ||
| | unsafe_keccak_finalize.small.cairo | 694 | 109 | | ||
| --------------------------------------------------------------------------------------------------------------------------- | ||
| | cmp.small.cairo | 913 | 110 | | ||
| | unsigned_div_rem.small.cairo | 839 | 106 | | ||
| --------------------------------------------------------------------------------------------------------------------------- | ||
| | signed_div_rem.small.cairo | 1000 | 115 | | ||
| | ecdsa_test.starknet_with_keccak.cairo | 1616 | 108 | | ||
| --------------------------------------------------------------------------------------------------------------------------- | ||
| | poseidon_test.starknet_with_keccak.cairo| 1318 | 108 | | ||
| | dict.cairo | 697 | 104 | | ||
| --------------------------------------------------------------------------------------------------------------------------- | ||
| | assert_not_zero.cairo | 1052 | 104 | | ||
| | hintrefs.cairo | 774 | 106 | | ||
| --------------------------------------------------------------------------------------------------------------------------- | ||
| | blake.starknet_with_keccak.cairo | 47471 | 512 | | ||
| | uint256_signedNN.small.cairo | 764 | 108 | | ||
| --------------------------------------------------------------------------------------------------------------------------- | ||
| | set_add.small.cairo | 707 | 107 | | ||
| | uint256_sqrt.small.cairo | 966 | 109 | | ||
| --------------------------------------------------------------------------------------------------------------------------- | ||
| | split64.small.cairo | 804 | 106 | | ||
| | factorial.cairo | 1341 | 108 | | ||
| --------------------------------------------------------------------------------------------------------------------------- | ||
| | sqrt.small.cairo | 853 | 106 | | ||
| | cmp.small.cairo | 924 | 108 | | ||
| --------------------------------------------------------------------------------------------------------------------------- | ||
| | verify_zero.small.cairo | 738 | 105 | | ||
| | uint256_add.small.cairo | 892 | 109 | | ||
| --------------------------------------------------------------------------------------------------------------------------- | ||
| | simple.cairo | 600 | 103 | | ||
| | reduce_v1.small.cairo | 823 | 106 | | ||
| --------------------------------------------------------------------------------------------------------------------------- | ||
| | dict_squash.small.cairo | 1005 | 115 | | ||
| | search_sorted_lower.small.cairo | 833 | 122 | | ||
| --------------------------------------------------------------------------------------------------------------------------- | ||
| | memcpy.cairo | 627 | 103 | | ||
| | signed_div_rem.small.cairo | 731 | 105 | | ||
| --------------------------------------------------------------------------------------------------------------------------- | ||
| | split_felt.small.cairo | 1041 | 106 | | ||
| | unsafe_keccak.small.cairo | 745 | 103 | | ||
| --------------------------------------------------------------------------------------------------------------------------- | ||
| | uint256_add.small.cairo | 722 | 105 | | ||
| | verify_ecdsa_signature.small.cairo | 761 | 103 | | ||
| --------------------------------------------------------------------------------------------------------------------------- | ||
| | factorial.cairo | 1047 | 106 | | ||
| | verify_zero.small.cairo | 733 | 104 | | ||
| --------------------------------------------------------------------------------------------------------------------------- | ||
| | pedersen_test.small.cairo | 639 | 103 | | ||
| | dict_squash.small.cairo | 801 | 110 | | ||
| --------------------------------------------------------------------------------------------------------------------------- | ||
| | is_zero.small.cairo | 872 | 107 | | ||
| | get_point_from_x.small.cairo | 884 | 107 | | ||
| --------------------------------------------------------------------------------------------------------------------------- | ||
| | random_ec.cairo | 763 | 108 | | ||
| | pedersen_test.small.cairo | 699 | 103 | | ||
| --------------------------------------------------------------------------------------------------------------------------- | ||
| | split_int.small.cairo | 793 | 106 | | ||
| | bitwise_builtin_test.starknet_with_keccak.cairo| 1343 | 108 | | ||
| --------------------------------------------------------------------------------------------------------------------------- | ||
| | uint256_signedNN.small.cairo | 767 | 105 | | ||
| | ecop.starknet_with_keccak.cairo | 1423 | 111 | | ||
| --------------------------------------------------------------------------------------------------------------------------- | ||
| | uint256_unsigned_div_rem.small.cairo | 883 | 108 | | ||
| | fib.cairo | 648 | 104 | | ||
| --------------------------------------------------------------------------------------------------------------------------- | ||
| | unsafe_keccak.small.cairo | 740 | 104 | | ||
| | alloc.cairo | 957 | 1056 | | ||
| --------------------------------------------------------------------------------------------------------------------------- | ||
| | unsigned_div_rem.small.cairo | 826 | 106 | | ||
| | is_positive.small.cairo | 802 | 106 | | ||
| --------------------------------------------------------------------------------------------------------------------------- | ||
| | alloc.cairo | 737 | 620 | | ||
| | ec.small.cairo | 4492 | 157 | | ||
| --------------------------------------------------------------------------------------------------------------------------- | ||
| | find_element.small.cairo | 813 | 105 | | ||
| | find_element.small.cairo | 1706 | 127 | | ||
| --------------------------------------------------------------------------------------------------------------------------- | ||
| | get_point_from_x.small.cairo | 1039 | 135 | | ||
| | import_secp256R1P.small.cairo | 627 | 108 | | ||
| --------------------------------------------------------------------------------------------------------------------------- | ||
| | is_positive.small.cairo | 784 | 105 | | ||
| | is_zero.small.cairo | 872 | 112 | | ||
| --------------------------------------------------------------------------------------------------------------------------- | ||
| | reduce_v1.small.cairo | 860 | 108 | | ||
| | memset.cairo | 898 | 104 | | ||
| --------------------------------------------------------------------------------------------------------------------------- | ||
| | uint256_mul_div_mod.small.cairo | 977 | 110 | | ||
| | sqrt.small.cairo | 807 | 105 | | ||
| --------------------------------------------------------------------------------------------------------------------------- | ||
| | unsafe_keccak_finalize.small.cairo | 662 | 104 | | ||
| | assert_not_equal.cairo | 694 | 107 | | ||
| --------------------------------------------------------------------------------------------------------------------------- | ||
| | fib.cairo | 641 | 103 | | ||
| | div_mod_n.small.cairo | 869 | 106 | | ||
| --------------------------------------------------------------------------------------------------------------------------- | ||
| | ecdsa_test.starknet_with_keccak.cairo | 1506 | 108 | | ||
| | uint256_unsigned_div_rem.small.cairo | 897 | 109 | | ||
| --------------------------------------------------------------------------------------------------------------------------- | ||
| | keccak_test.starknet_with_keccak.cairo| 1369 | 110 | | ||
| | keccak_test.starknet_with_keccak.cairo| 1297 | 109 | | ||
| =========================================================================================================================== |
Oops, something went wrong.