solidity/test/libsolidity/smtCheckerTests/operators
chriseth d56a7bb89e
Merge pull request #10489 from ethereum/develop
Merge develop into breaking.
2020-12-03 18:11:12 +01:00
..
shifts [SMTChecker] Fix ICE when using >>> 2020-10-28 09:25:14 +01:00
assignment_contract_member_variable_array.sol Fix assignment to contract member access 2020-10-26 14:39:02 +00:00
assignment_contract_member_variable.sol Fix assignment to contract member access 2020-10-26 14:39:02 +00:00
assignment_module_contract_member_variable.sol Fix assignment to contract member access 2020-10-26 14:39:02 +00:00
bitwise_and_fixed_bytes.sol [SMTChecker] Support type conversions 2020-10-02 10:26:02 +02:00
bitwise_and_int.sol [SMTChecker] Add engine prefix to verification target error messages 2020-09-25 19:09:06 +02:00
bitwise_and_rational.sol [SMTChecker] Add engine prefix to verification target error messages 2020-09-25 19:09:06 +02:00
bitwise_and_uint.sol [SMTChecker] Add engine prefix to verification target error messages 2020-09-25 19:09:06 +02:00
bitwise_combo.sol [SMTChecker] Support bitwise or, xor and not. 2020-08-26 11:06:56 +02:00
bitwise_not_fixed_bytes.sol Add uncovered test and replace uncovered tests by asserts 2020-11-30 18:46:47 +01:00
bitwise_not_int.sol [SMTChecker] Add engine prefix to verification target error messages 2020-09-25 19:09:06 +02:00
bitwise_not_uint.sol [SMTChecker] Add engine prefix to verification target error messages 2020-09-25 19:09:06 +02:00
bitwise_or_fixed_bytes.sol [SMTChecker] Support type conversions 2020-10-02 10:26:02 +02:00
bitwise_or_int.sol [SMTChecker] Add engine prefix to verification target error messages 2020-09-25 19:09:06 +02:00
bitwise_or_uint.sol [SMTChecker] Add engine prefix to verification target error messages 2020-09-25 19:09:06 +02:00
bitwise_rational_1.sol Tests/Docs after "stricter explicit conversion from Literals to Integers" 2020-11-03 14:31:44 +01:00
bitwise_rational_2.sol [SMTChecker] Add engine prefix to verification target error messages 2020-09-25 19:09:06 +02:00
bitwise_xor_fixed_bytes.sol [SMTChecker] Support bitwise or, xor and not. 2020-08-26 11:06:56 +02:00
bitwise_xor_int.sol [SMTChecker] Add engine prefix to verification target error messages 2020-09-25 19:09:06 +02:00
bitwise_xor_uint.sol [SMTChecker] Add engine prefix to verification target error messages 2020-09-25 19:09:06 +02:00
bytes_new.sol [SMTChecker] Implement support for memory allocation 2020-09-25 15:56:24 +01:00
compound_add_array_index.sol [SMTChecker] Add engine prefix to verification target error messages 2020-09-25 19:09:06 +02:00
compound_add_chain.sol Arithmetic compound assignment operators tests 2019-03-28 15:27:52 +01:00
compound_add_mapping.sol [SMTChecker] Add engine prefix to verification target error messages 2020-09-25 19:09:06 +02:00
compound_add.sol [SMTChecker] Add engine prefix to verification target error messages 2020-09-25 19:09:06 +02:00
compound_assignment_division_1.sol [SMTChecker] encoding division and modulo operations using slack variables 2020-10-16 16:06:31 +02:00
compound_assignment_division_2.sol [SMTChecker] encoding division and modulo operations using slack variables 2020-10-16 16:06:31 +02:00
compound_assignment_division_3.sol [SMTChecker] encoding division and modulo operations using slack variables 2020-10-16 16:06:31 +02:00
compound_bitwise_and_fixed_bytes.sol Print warning for unnamed return parameters and no return statement 2020-10-13 13:11:29 +02:00
compound_bitwise_and_int.sol [SMTChecker] Add engine prefix to verification target error messages 2020-09-25 19:09:06 +02:00
compound_bitwise_and_uint.sol [SMTChecker] Add engine prefix to verification target error messages 2020-09-25 19:09:06 +02:00
compound_bitwise_or_fixed_bytes.sol Print warning for unnamed return parameters and no return statement 2020-10-13 13:11:29 +02:00
compound_bitwise_or_int_1.sol Add unknown message to all verification targets 2020-10-19 20:54:13 +01:00
compound_bitwise_or_int.sol [SMTChecker] Add engine prefix to verification target error messages 2020-09-25 19:09:06 +02:00
compound_bitwise_or_uint_1.sol Add unknown message to all verification targets 2020-10-19 20:54:13 +01:00
compound_bitwise_or_uint_2.sol Remove nondet tests 2020-10-28 11:03:42 +00:00
compound_bitwise_or_uint_3.sol Add unknown message to all verification targets 2020-10-19 20:54:13 +01:00
compound_bitwise_or_uint.sol [SMTChecker] Add engine prefix to verification target error messages 2020-09-25 19:09:06 +02:00
compound_bitwise_string_literal_2.sol [SMTChecker] Fix SMT logic error when doing compound assignment with string literlas. 2020-11-24 19:14:15 +01:00
compound_bitwise_string_literal_3.sol [SMTChecker] Fix SMT logic error when doing compound assignment with string literlas. 2020-11-24 19:14:15 +01:00
compound_bitwise_string_literal.sol [SMTChecker] Fix SMT logic error when doing compound assignment with string literlas. 2020-11-24 19:14:15 +01:00
compound_bitwise_xor_fixed_bytes.sol Print warning for unnamed return parameters and no return statement 2020-10-13 13:11:29 +02:00
compound_bitwise_xor_int.sol [SMTChecker] Add engine prefix to verification target error messages 2020-09-25 19:09:06 +02:00
compound_bitwise_xor_uint.sol [SMTChecker] Add engine prefix to verification target error messages 2020-09-25 19:09:06 +02:00
compound_mul_array_index.sol [SMTChecker] Add engine prefix to verification target error messages 2020-09-25 19:09:06 +02:00
compound_mul_mapping.sol [SMTChecker] Add engine prefix to verification target error messages 2020-09-25 19:09:06 +02:00
compound_mul.sol [SMTChecker] Add engine prefix to verification target error messages 2020-09-25 19:09:06 +02:00
compound_shl_1.sol [SMTChecker] Updating old and adding new tests for compound shift operators. 2020-09-23 11:31:37 +02:00
compound_shr_1.sol [SMTChecker] Add engine prefix to verification target error messages 2020-09-25 19:09:06 +02:00
compound_sub_array_index.sol [SMTChecker] Add engine prefix to verification target error messages 2020-09-25 19:09:06 +02:00
compound_sub_mapping.sol [SMTChecker] Add engine prefix to verification target error messages 2020-09-25 19:09:06 +02:00
compound_sub.sol [SMTChecker] Add engine prefix to verification target error messages 2020-09-25 19:09:06 +02:00
conditional_assignment_1.sol [SMTChecker] Add engine prefix to verification target error messages 2020-09-25 19:09:06 +02:00
conditional_assignment_2.sol [SMTChecker] Add engine prefix to verification target error messages 2020-09-25 19:09:06 +02:00
conditional_assignment_3.sol [SMTChecker] Add engine prefix to verification target error messages 2020-09-25 19:09:06 +02:00
conditional_assignment_4.sol [SMTChecker] Supporting conditional operator 2020-08-20 21:39:35 +02:00
conditional_assignment_5.sol Update tests 2020-10-13 17:49:04 +01:00
conditional_assignment_6.sol [SMTChecker] Supporting conditional operator 2020-08-20 21:39:35 +02:00
conditional_assignment_always_false.sol [SMTChecker] Add engine prefix to verification target error messages 2020-09-25 19:09:06 +02:00
conditional_assignment_always_true.sol [SMTChecker] Add engine prefix to verification target error messages 2020-09-25 19:09:06 +02:00
conditional_assignment_function_1.sol [SMTChecker] Add engine prefix to verification target error messages 2020-09-25 19:09:06 +02:00
conditional_assignment_function_2.sol [SMTChecker] Add engine prefix to verification target error messages 2020-09-25 19:09:06 +02:00
conditional_assignment_nested_always_true.sol [SMTChecker] Add engine prefix to verification target error messages 2020-09-25 19:09:06 +02:00
conditional_assignment_nested_unsafe.sol [SMTChecker] Add engine prefix to verification target error messages 2020-09-25 19:09:06 +02:00
conditional_assignment_statevar_1.sol Fix tests for conditional operator on latest develop. 2020-08-22 07:52:55 +02:00
delete_array_2d.sol [SMTChecker] Zero-initialize arrays 2019-09-02 22:37:30 +02:00
delete_array_index_2d.sol [SMTChecker] Add engine prefix to verification target error messages 2020-09-25 19:09:06 +02:00
delete_array_index.sol [SMTChecker] Add engine prefix to verification target error messages 2020-09-25 19:09:06 +02:00
delete_array_push.sol [SMTChecker] Fix internal error when array.push() is used as LHS of assignment 2020-11-02 13:32:53 +00:00
delete_array.sol [SMTChecker] Add engine prefix to verification target error messages 2020-09-25 19:09:06 +02:00
delete_function.sol [SMTChecker] Add engine prefix to verification target error messages 2020-09-25 19:09:06 +02:00
delete_multid_array.sol Remove more tests because current Spacer crashes 2020-10-13 19:27:49 +01:00
delete_struct.sol Update current tests 2020-09-03 15:19:03 +02:00
delete_tuple.sol [SMTChecker] Fix internal error when array.push() is used as LHS of assignment 2020-11-02 13:32:53 +00:00
div_zero.sol [SMTChecker] Adding division by zero checks in the CHC engine 2020-10-21 14:48:33 +02:00
division_1.sol [SMTChecker] Adding division by zero checks in the CHC engine 2020-10-21 14:48:33 +02:00
division_2.sol Extract SMTChecker division tests 2019-12-09 15:32:08 +01:00
division_3.sol [SMTChecker] encoding division and modulo operations using slack variables 2020-10-16 16:06:31 +02:00
division_4.sol [SMTChecker] encoding division and modulo operations using slack variables 2020-10-16 16:06:31 +02:00
division_5.sol [SMTChecker] encoding division and modulo operations using slack variables 2020-10-16 16:06:31 +02:00
division_6.sol [SMTChecker] Keeping better track of path condition through branches with return statement in the BMC engine. 2020-11-30 11:47:49 +01:00
division_7.sol Extract SMTChecker division tests 2019-12-09 15:32:08 +01:00
division_truncates_correctly_1.sol [SMTChecker] encoding division and modulo operations using slack variables 2020-10-16 16:06:31 +02:00
division_truncates_correctly_2.sol [SMTChecker] encoding division and modulo operations using slack variables 2020-10-16 16:06:31 +02:00
division_truncates_correctly_3.sol [SMTChecker] encoding division and modulo operations using slack variables 2020-10-16 16:06:31 +02:00
division_truncates_correctly_4.sol [SMTChecker] encoding division and modulo operations using slack variables 2020-10-16 16:06:31 +02:00
division_truncates_correctly_5.sol [SMTChecker] encoding division and modulo operations using slack variables 2020-10-16 16:06:31 +02:00
exp.sol Add uncovered test and replace uncovered tests by asserts 2020-11-30 18:46:47 +01:00
fixed_point_add.sol [SMTChecker] Support type conversions 2020-10-02 10:26:02 +02:00
fixed_point_compound_add.sol Update remaining tests 2020-08-14 12:58:27 +02:00
function_call_named_arguments.sol [SMTChecker] Do not report warning when encountered a Type identifier. The operations are supported now. 2020-11-23 15:41:57 +01:00
index_access_for_bytes.sol [SMTChecker] Add engine prefix to verification target error messages 2020-09-25 19:09:06 +02:00
index_access_for_bytesNN.sol [SMTChecker] Keep knowledge about string literals 2020-09-25 11:32:23 +01:00
index_access_for_string.sol [SMTChecker] Add engine prefix to verification target error messages 2020-09-25 19:09:06 +02:00
index_access_side_effect.sol [SMTChecker] Add engine prefix to verification target error messages 2020-09-25 19:09:06 +02:00
integer_new.sol [SMTChecker] Implement support for memory allocation 2020-09-25 15:56:24 +01:00
mod_even.sol [SMTChecker] encoding division and modulo operations using slack variables 2020-10-16 16:06:31 +02:00
mod_n_uint16.sol [SMTChecker] encoding division and modulo operations using slack variables 2020-10-16 16:06:31 +02:00
mod_n.sol [SMTChecker] encoding division and modulo operations using slack variables 2020-10-16 16:06:31 +02:00
mod_signed.sol Add unknown message to all verification targets 2020-10-19 20:54:13 +01:00
mod.sol [SMTChecker] encoding division and modulo operations using slack variables 2020-10-16 16:06:31 +02:00
named_arguments_in_any_order.sol [SMTChecker] Support named arguments in function calls 2020-11-20 11:52:26 -01:00
named_arguments_overload_in_any_order.sol [SMTChecker] Support named arguments in function calls 2020-11-20 11:52:26 -01:00
slice_bytes.sol [SMTChecker] Fix ICE implicit conversion string literal -> byte 2020-10-21 22:03:01 +01:00
slice_default_end.sol Natspec: Fix internal error when different return name was inherited 2020-11-17 11:56:32 +01:00
slice_default_start.sol Add unknown message to all verification targets 2020-10-19 20:54:13 +01:00
slice.sol Support array slices 2020-10-01 11:52:02 +02:00
slices_1.sol Support array slices 2020-10-01 11:52:02 +02:00
tuple_rationals_conditional.sol Fix ICE on conditions with tuples of rationals 2020-10-23 14:47:53 +01:00
unary_add_array.sol [SMTChecker] Add engine prefix to verification target error messages 2020-09-25 19:09:06 +02:00
unary_add_mapping.sol [SMTChecker] Add engine prefix to verification target error messages 2020-09-25 19:09:06 +02:00
unary_add.sol [SMTChecker] Add engine prefix to verification target error messages 2020-09-25 19:09:06 +02:00
unary_operators_tuple_1.sol [SMTChecker] Fix unary operator on lvalue tuple 2020-09-01 08:25:06 +02:00
unary_operators_tuple_2.sol [SMTChecker] Fix unary operator on lvalue tuple 2020-09-01 08:25:06 +02:00
unary_operators_tuple_3.sol [SMTChecker] Add engine prefix to verification target error messages 2020-09-25 19:09:06 +02:00
unary_sub_array.sol [SMTChecker] Add engine prefix to verification target error messages 2020-09-25 19:09:06 +02:00
unary_sub_mapping.sol [SMTChecker] Add engine prefix to verification target error messages 2020-09-25 19:09:06 +02:00
unary_sub.sol [SMTChecker] Add engine prefix to verification target error messages 2020-09-25 19:09:06 +02:00