cerc-io/solidity
10
0
Fork 0
mirror of https://github.com/ethereum/solidity synced 2023-10-03 13:03:40 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity
5fd609f7a6
solidity/test/libsolidity/smtCheckerTests/array_members
History
Martin Blicha cdfc19b503 SMTChecker: Bring back counterexample checks in regression tests 
Since the default is now to ignore the counterexamples when checking
test output, we bring back counterexample checks in tests where the
counterexample is (mostly) deterministic.
2023-07-25 12:26:21 +02:00
..
array_pop_length_1.sol Update old tests 2021-04-08 21:03:39 +02:00
array_pop_length_2.sol Update old tests 2021-04-08 21:03:39 +02:00
array_pop_length_3.sol Update old tests 2021-04-08 21:03:39 +02:00
array_pop_length_4.sol Update old tests 2021-04-08 21:03:39 +02:00
array_pop_length_5.sol Update old tests 2021-04-08 21:03:39 +02:00
array_pop_length_6.sol Update old tests 2021-04-08 21:03:39 +02:00
array_pop_length_7.sol Report safe properties in BMC and CHC 2023-03-09 14:59:32 +01:00
array_pop_length_8.sol Report safe properties in BMC and CHC 2023-03-09 14:59:32 +01:00
array_push_string_literal.sol Report safe properties in BMC and CHC 2023-03-09 14:59:32 +01:00
length_1d_assignment_2d_memory_to_memory.sol Report safe properties in BMC and CHC 2023-03-09 14:59:32 +01:00
length_1d_assignment_2d_storage_to_storage.sol Report safe properties in BMC and CHC 2023-03-09 14:59:32 +01:00
length_1d_copy_2d_memory_to_storage.sol Report safe properties in BMC and CHC 2023-03-09 14:59:32 +01:00
length_1d_copy_2d_storage_to_memory.sol Report safe properties in BMC and CHC 2023-03-09 14:59:32 +01:00
length_1d_mapping_array_1.sol Report safe properties in BMC and CHC 2023-03-09 14:59:32 +01:00
length_1d_mapping_array_2.sol Report safe properties in BMC and CHC 2023-03-09 14:59:32 +01:00
length_1d_mapping_array_2d_1.sol Report safe properties in BMC and CHC 2023-03-09 14:59:32 +01:00
length_1d_struct_array_1.sol Report safe properties in BMC and CHC 2023-03-09 14:59:32 +01:00
length_1d_struct_array_2d_1.sol Report safe properties in BMC and CHC 2023-03-09 14:59:32 +01:00
length_assignment_2d_memory_to_memory.sol Report safe properties in BMC and CHC 2023-03-09 14:59:32 +01:00
length_assignment_memory_to_memory.sol Report safe properties in BMC and CHC 2023-03-09 14:59:32 +01:00
length_assignment_storage_to_storage.sol Report safe properties in BMC and CHC 2023-03-09 14:59:32 +01:00
length_basic.sol Report safe properties in BMC and CHC 2023-03-09 14:59:32 +01:00
length_copy_memory_to_storage.sol Report safe properties in BMC and CHC 2023-03-09 14:59:32 +01:00
length_copy_storage_to_memory.sol Report safe properties in BMC and CHC 2023-03-09 14:59:32 +01:00
length_function_call.sol Report safe properties in BMC and CHC 2023-03-09 14:59:32 +01:00
length_same_after_assignment_2_fail.sol Report safe properties in BMC and CHC 2023-03-09 14:59:32 +01:00
length_same_after_assignment_2.sol Report safe properties in BMC and CHC 2023-03-09 14:59:32 +01:00
length_same_after_assignment_3_fail.sol Report safe properties in BMC and CHC 2023-03-09 14:59:32 +01:00
length_same_after_assignment_3.sol Report safe properties in BMC and CHC 2023-03-09 14:59:32 +01:00
length_same_after_assignment.sol Report safe properties in BMC and CHC 2023-03-09 14:59:32 +01:00
pop_1_safe.sol Report safe properties in BMC and CHC 2023-03-09 14:59:32 +01:00
pop_1_unsafe.sol SMTChecker: Bring back counterexample checks in regression tests 2023-07-25 12:26:21 +02:00
pop_2d_safe.sol Report safe properties in BMC and CHC 2023-03-09 14:59:32 +01:00
pop_2d_unsafe.sol Report safe properties in BMC and CHC 2023-03-09 14:59:32 +01:00
pop_constructor_safe.sol Report safe properties in BMC and CHC 2023-03-09 14:59:32 +01:00
pop_constructor_unsafe.sol SMTChecker: Bring back counterexample checks in regression tests 2023-07-25 12:26:21 +02:00
pop_loop_safe.sol Report safe properties in BMC and CHC 2023-03-09 14:59:32 +01:00
pop_loop_unsafe.sol Report safe properties in BMC and CHC 2023-03-09 14:59:32 +01:00
push_2d_arg_1_safe.sol Report safe properties in BMC and CHC 2023-03-09 14:59:32 +01:00
push_2d_arg_1_unsafe.sol Report safe properties in BMC and CHC 2023-03-09 14:59:32 +01:00
push_arg_1.sol Report safe properties in BMC and CHC 2023-03-09 14:59:32 +01:00
push_as_lhs_1d.sol Report safe properties in BMC and CHC 2023-03-09 14:59:32 +01:00
push_as_lhs_2d_2.sol Report safe properties in BMC and CHC 2023-03-09 14:59:32 +01:00
push_as_lhs_2d.sol Report safe properties in BMC and CHC 2023-03-09 14:59:32 +01:00
push_as_lhs_3d.sol Report safe properties in BMC and CHC 2023-03-09 14:59:32 +01:00
push_as_lhs_and_rhs_1d.sol Report safe properties in BMC and CHC 2023-03-09 14:59:32 +01:00
push_as_lhs_and_rhs_2d_1.sol Report safe properties in BMC and CHC 2023-03-09 14:59:32 +01:00
push_as_lhs_and_rhs_2d_2.sol Report safe properties in BMC and CHC 2023-03-09 14:59:32 +01:00
push_as_lhs_and_rhs_bytes.sol Report safe properties in BMC and CHC 2023-03-09 14:59:32 +01:00
push_as_lhs_bytes_2d.sol Report safe properties in BMC and CHC 2023-03-09 14:59:32 +01:00
push_as_lhs_bytes.sol Report safe properties in BMC and CHC 2023-03-09 14:59:32 +01:00
push_as_lhs_compound_assignment.sol Report safe properties in BMC and CHC 2023-03-09 14:59:32 +01:00
push_as_lhs_struct.sol Report safe properties in BMC and CHC 2023-03-09 14:59:32 +01:00
push_function_return_value.sol Fix false negative on storage array references returned by internal functions 2021-08-28 09:30:53 +02:00
push_overflow_1_safe_no_overflow_assumption.sol Report safe properties in BMC and CHC 2023-03-09 14:59:32 +01:00
push_overflow_1_safe.sol Report safe properties in BMC and CHC 2023-03-09 14:59:32 +01:00
push_overflow_2_safe_no_overflow_assumption.sol Report safe properties in BMC and CHC 2023-03-09 14:59:32 +01:00
push_overflow_2_safe.sol Remove EWASM backend. 2023-05-11 10:56:55 -05:00
push_push_no_args_1_fail.sol Report safe properties in BMC and CHC 2023-03-09 14:59:32 +01:00
push_push_no_args_1.sol Report safe properties in BMC and CHC 2023-03-09 14:59:32 +01:00
push_push_no_args_2_fail.sol Report safe properties in BMC and CHC 2023-03-09 14:59:32 +01:00
push_push_no_args_2.sol Report safe properties in BMC and CHC 2023-03-09 14:59:32 +01:00
push_storage_ref_safe_aliasing.sol Report safe properties in BMC and CHC 2023-03-09 14:59:32 +01:00
push_storage_ref_unsafe_aliasing.sol Report safe properties in BMC and CHC 2023-03-09 14:59:32 +01:00
push_storage_ref_unsafe_length.sol update smtchecker tests 2023-03-28 18:23:54 +02:00
push_struct_member_1.sol Remove EWASM backend. 2023-05-11 10:56:55 -05:00
push_struct_member_2.sol Remove EWASM backend. 2023-05-11 10:56:55 -05:00
push_zero_2d_safe.sol Report safe properties in BMC and CHC 2023-03-09 14:59:32 +01:00
push_zero_2d_unsafe.sol Report safe properties in BMC and CHC 2023-03-09 14:59:32 +01:00
push_zero_safe.sol Report safe properties in BMC and CHC 2023-03-09 14:59:32 +01:00
push_zero_unsafe.sol SMTChecker: Bring back counterexample checks in regression tests 2023-07-25 12:26:21 +02:00
storage_pointer_push_1_safe.sol Report safe properties in BMC and CHC 2023-03-09 14:59:32 +01:00
storage_pointer_push_1.sol Report safe properties in BMC and CHC 2023-03-09 14:59:32 +01:00