solidity

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

Trivial isoltest updates: missing // ---- at the end

2021-04-20 17:38:29 +02:00

array_pop_length_8.sol

Update old tests

2021-04-08 21:03:39 +02:00

array_push_string_literal.sol

SMTChecker tests

2021-10-26 11:30:30 +02:00

length_1d_assignment_2d_memory_to_memory.sol

Trivial isoltest updates: missing // ---- at the end

2021-04-20 17:38:29 +02:00

length_1d_assignment_2d_storage_to_storage.sol

SMTChecker tests

2021-10-26 11:30:30 +02:00

length_1d_copy_2d_memory_to_storage.sol

Trivial isoltest updates: missing // ---- at the end

2021-04-20 17:38:29 +02:00

length_1d_copy_2d_storage_to_memory.sol

SMTChecker tests

2021-10-26 11:30:30 +02:00

length_1d_mapping_array_1.sol

SMTChecker tests

2021-10-26 11:30:30 +02:00

length_1d_mapping_array_2.sol

Trivial isoltest updates: missing // ---- at the end

2021-04-20 17:38:29 +02:00

length_1d_mapping_array_2d_1.sol

Trivial isoltest updates: missing // ---- at the end

2021-04-20 17:38:29 +02:00

length_1d_struct_array_1.sol

SMTChecker tests

2021-10-26 11:30:30 +02:00

length_1d_struct_array_2d_1.sol

macos nondeterminism

2021-11-24 20:41:22 +01:00

length_assignment_2d_memory_to_memory.sol

Trivial isoltest updates: missing // ---- at the end

2021-04-20 17:38:29 +02:00

length_assignment_memory_to_memory.sol

Trivial isoltest updates: missing // ---- at the end

2021-04-20 17:38:29 +02:00

length_assignment_storage_to_storage.sol

Trivial isoltest updates: missing // ---- at the end

2021-04-20 17:38:29 +02:00

length_basic.sol

Update old tests

2021-04-08 21:03:39 +02:00

length_copy_memory_to_storage.sol

Trivial isoltest updates: missing // ---- at the end

2021-04-20 17:38:29 +02:00

length_copy_storage_to_memory.sol

Trivial isoltest updates: missing // ---- at the end

2021-04-20 17:38:29 +02:00

length_function_call.sol

SMTChecker tests

2021-10-26 11:30:30 +02:00

length_same_after_assignment_2_fail.sol

SMTChecker tests

2021-10-26 11:30:30 +02:00

length_same_after_assignment_2.sol

SMTChecker tests

2021-10-26 11:30:30 +02:00

length_same_after_assignment_3_fail.sol

update smtchecker tests

2021-11-24 20:41:22 +01:00

length_same_after_assignment_3.sol

SMTChecker tests

2021-10-26 11:30:30 +02:00

length_same_after_assignment.sol

SMTChecker tests

2021-10-26 11:30:30 +02:00

pop_1_safe.sol

Trivial isoltest updates: missing // ---- at the end

2021-04-20 17:38:29 +02:00

pop_1_unsafe.sol

Update old tests

2021-04-08 21:03:39 +02:00

pop_2d_safe.sol

Trivial isoltest updates: missing // ---- at the end

2021-04-20 17:38:29 +02:00

pop_2d_unsafe.sol

Update old tests

2021-04-08 21:03:39 +02:00

pop_constructor_safe.sol

Trivial isoltest updates: missing // ---- at the end

2021-04-20 17:38:29 +02:00

pop_constructor_unsafe.sol

Update old tests

2021-04-08 21:03:39 +02:00

pop_loop_safe.sol

Update old tests

2021-04-08 21:03:39 +02:00

pop_loop_unsafe.sol

Update old tests

2021-04-08 21:03:39 +02:00

push_2d_arg_1_safe.sol

Trivial isoltest updates: missing // ---- at the end

2021-04-20 17:38:29 +02:00

push_2d_arg_1_unsafe.sol

Update old tests

2021-04-08 21:03:39 +02:00

push_arg_1.sol

Trivial isoltest updates: missing // ---- at the end

2021-04-20 17:38:29 +02:00

push_as_lhs_1d.sol

update smt tests z3 4.8.16

2022-05-03 14:23:27 +02:00

push_as_lhs_2d_2.sol

Trivial isoltest updates: missing // ---- at the end

2021-04-20 17:38:29 +02:00

push_as_lhs_2d.sol

Update existing tests

2021-08-25 21:10:08 +02:00

push_as_lhs_3d.sol

Update old tests

2021-04-08 21:03:39 +02:00

push_as_lhs_and_rhs_1d.sol

update smtchecker tests

2021-11-24 20:41:22 +01:00

push_as_lhs_and_rhs_2d_1.sol

Update old tests

2021-04-08 21:03:39 +02:00

push_as_lhs_and_rhs_2d_2.sol

Trivial isoltest updates: missing // ---- at the end

2021-04-20 17:38:29 +02:00

push_as_lhs_and_rhs_bytes.sol

Update existing tests

2021-08-25 21:10:08 +02:00

push_as_lhs_bytes_2d.sol

adjust for osx nondeterminism

2022-05-04 19:04:54 +02:00

push_as_lhs_bytes.sol

adjust for osx nondeterminism

2022-05-04 19:04:54 +02:00

push_as_lhs_compound_assignment.sol

Update old tests

2021-04-08 21:03:39 +02:00

push_as_lhs_struct.sol

Trivial isoltest updates: missing // ---- at the end

2021-04-20 17:38:29 +02: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

SMTChecker tests

2021-10-26 11:30:30 +02:00

push_overflow_1_safe.sol

SMTChecker tests

2021-10-26 11:30:30 +02:00

push_overflow_2_safe_no_overflow_assumption.sol

update smtchecker tests

2021-11-24 20:41:22 +01:00

push_overflow_2_safe.sol

Trivial isoltest updates: missing // ---- at the end

2021-04-20 17:38:29 +02:00

push_push_no_args_1_fail.sol

Update old tests

2021-04-08 21:03:39 +02:00

push_push_no_args_1.sol

Trivial isoltest updates: missing // ---- at the end

2021-04-20 17:38:29 +02:00

push_push_no_args_2_fail.sol

update smtchecker tests

2021-11-24 20:41:22 +01:00

push_push_no_args_2.sol

Trivial isoltest updates: missing // ---- at the end

2021-04-20 17:38:29 +02:00

push_storage_ref_safe_aliasing.sol

Update old tests

2021-04-08 21:03:39 +02:00

push_storage_ref_unsafe_aliasing.sol

Adjust tests for nondeterminism

2021-11-24 20:41:22 +01:00

push_storage_ref_unsafe_length.sol

Update old tests

2021-04-08 21:03:39 +02:00

push_struct_member_1.sol

Update old tests

2021-04-08 21:03:39 +02:00

push_struct_member_2.sol

Update old tests

2021-04-08 21:03:39 +02:00

push_zero_2d_safe.sol

Trivial isoltest updates: missing // ---- at the end

2021-04-20 17:38:29 +02:00

push_zero_2d_unsafe.sol

Update old tests

2021-04-08 21:03:39 +02:00

push_zero_safe.sol

Trivial isoltest updates: missing // ---- at the end

2021-04-20 17:38:29 +02:00

push_zero_unsafe.sol

Update old tests

2021-04-08 21:03:39 +02:00

storage_pointer_push_1_safe.sol

Trivial isoltest updates: missing // ---- at the end

2021-04-20 17:38:29 +02:00

storage_pointer_push_1.sol

Fix false negative on storage array references returned by internal functions

2021-08-28 09:30:53 +02:00