cerc-io/solidity
11
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
Files
refactorRevertReasonIfDebug
solidity/test/libsolidity/smtCheckerTests/operators
T
History
Leonardo Alt e5d25692a5 [SMTChecker] Fix BMC targets with FP
2020-05-29 18:13:13 +02:00
..
bitwise_and_int.sol
[SMTChecker] Support to bitwise
2020-05-27 20:59:00 +02:00
bitwise_and_rational.sol
[SMTChecker] Support to bitwise
2020-05-27 20:59:00 +02:00
bitwise_and_uint.sol
[SMTChecker] Support to bitwise
2020-05-27 20:59:00 +02:00
compound_add_array_index.sol
[SMTChecker] Zero-initialize arrays
2019-09-02 22:37:30 +02:00
compound_add_chain.sol
Arithmetic compound assignment operators tests
2019-03-28 15:27:52 +01:00
compound_add_mapping.sol
[SMTChecker] Zero-initialize arrays
2019-09-02 22:37:30 +02:00
compound_add.sol
Arithmetic compound assignment operators tests
2019-03-28 15:27:52 +01:00
compound_assignment_division_1.sol
Update smt test expectations.
2020-05-14 14:12:01 +02:00
compound_assignment_division_2.sol
Test updates
2020-05-14 23:32:30 +02:00
compound_assignment_division_3.sol
Test updates
2020-05-14 23:32:30 +02:00
compound_bitwise_and_1.sol
[SMTChecker] Fix ICE compound bitwise op inside branch
2019-08-02 20:02:39 +02:00
compound_bitwise_or_1.sol
[SMTChecker] Fix ICE compound bitwise op inside branch
2019-08-02 20:02:39 +02:00
compound_bitwise_xor_1.sol
[SMTChecker] Fix ICE compound bitwise op inside branch
2019-08-02 20:02:39 +02:00
compound_mul_array_index.sol
Test updates
2020-05-14 23:32:30 +02:00
compound_mul_mapping.sol
Test updates
2020-05-14 23:32:30 +02:00
compound_mul.sol
Arithmetic compound assignment operators tests
2019-03-28 15:27:52 +01:00
compound_shl_1.sol
[SMTChecker] Fix ICE compound bitwise op inside branch
2019-08-02 20:02:39 +02:00
compound_shr_1.sol
[SMTChecker] Fix ICE compound bitwise op inside branch
2019-08-02 20:02:39 +02:00
compound_sub_array_index.sol
[SMTChecker] Zero-initialize arrays
2019-09-02 22:37:30 +02:00
compound_sub_mapping.sol
[SMTChecker] Zero-initialize arrays
2019-09-02 22:37:30 +02:00
compound_sub.sol
Arithmetic compound assignment operators tests
2019-03-28 15:27:52 +01:00
delete_array_2d.sol
[SMTChecker] Zero-initialize arrays
2019-09-02 22:37:30 +02:00
delete_array_index_2d.sol
[SMTChecker] Support array length
2020-05-14 23:32:29 +02:00
delete_array_index.sol
[SMTChecker] Support delete
2019-05-06 18:32:10 +02:00
delete_array.sol
[SMTChecker] Zero-initialize arrays
2019-09-02 22:37:30 +02:00
delete_function.sol
[SMTChecker] Zero-initialize arrays
2019-09-02 22:37:30 +02:00
delete_multid_array.sol
[SMTChecker] Add test that shows that deleting arrays takes the index into account
2020-05-28 13:08:16 +02:00
delete_struct.sol
Always create symbolic expression
2019-07-01 16:25:33 +02:00
division_1.sol
Extract SMTChecker division tests
2019-12-09 15:32:08 +01:00
division_2.sol
Extract SMTChecker division tests
2019-12-09 15:32:08 +01:00
division_3.sol
Extract SMTChecker division tests
2019-12-09 15:32:08 +01:00
division_4.sol
Extract SMTChecker division tests
2019-12-09 15:32:08 +01:00
division_5.sol
Extract SMTChecker division tests
2019-12-09 15:32:08 +01:00
division_6.sol
Extract SMTChecker division tests
2019-12-09 15:32:08 +01:00
division_7.sol
Extract SMTChecker division tests
2019-12-09 15:32:08 +01:00
division_truncates_correctly_1.sol
Update smt test expectations.
2020-05-14 14:12:01 +02:00
division_truncates_correctly_2.sol
Update smt test expectations.
2020-05-14 14:12:01 +02:00
division_truncates_correctly_3.sol
Update smt test expectations.
2020-05-14 14:12:01 +02:00
division_truncates_correctly_4.sol
Update smt test expectations.
2020-05-14 14:12:01 +02:00
division_truncates_correctly_5.sol
Update smt test expectations.
2020-05-14 14:12:01 +02:00
fixed_point_add.sol
[SMTChecker] Fix BMC targets with FP
2020-05-29 18:13:13 +02:00
fixed_point_compound_add.sol
[SMTChecker] Fix BMC targets with FP
2020-05-29 18:13:13 +02:00
index_access_for_bytes.sol
Fix ICE in FixedBytes IndexAccess
2019-11-08 17:29:40 +01:00
mod_even.sol
Update smt test expectations.
2020-05-14 14:12:01 +02:00
mod_n_uint16.sol
Update smt test expectations.
2020-05-14 14:12:01 +02:00
mod_n.sol
Update smt test expectations.
2020-05-14 14:12:01 +02:00
mod.sol
Update smt test expectations.
2020-05-14 14:12:01 +02:00
slices_1.sol
Fix internal error when using array slices
2020-04-22 23:20:10 +02:00
unary_add_array.sol
[SMTChecker] Support unary inc/dec for array/mapping access
2019-04-02 16:53:19 +02:00
unary_add_mapping.sol
[SMTChecker] Support unary inc/dec for array/mapping access
2019-04-02 16:53:19 +02:00
unary_add.sol
[SMTChecker] Support unary inc/dec for array/mapping access
2019-04-02 16:53:19 +02:00
unary_sub_array.sol
[SMTChecker] Support unary inc/dec for array/mapping access
2019-04-02 16:53:19 +02:00
unary_sub_mapping.sol
[SMTChecker] Support unary inc/dec for array/mapping access
2019-04-02 16:53:19 +02:00
unary_sub.sol
[SMTChecker] Support unary inc/dec for array/mapping access
2019-04-02 16:53:19 +02:00