solidity/test/libsolidity/smtCheckerTests
2021-03-24 14:54:13 +01:00
..
abi Fix CHC cex order 2021-03-11 10:36:40 +01:00
array_members [SMTChecker] Fix compound assignment to push 2021-03-24 14:54:13 +01:00
blockchain_state Fix CHC cex order 2021-03-11 10:36:40 +01:00
bmc_coverage [SMTChecker] Added transaction constraints also for contract deployment 2021-02-01 16:46:34 +01:00
complex Add and update tests 2020-12-17 14:42:49 +01:00
control_flow Merge pull request #11040 from ethereum/smt_fix_virtual_one_more_time 2021-03-17 16:54:36 +01:00
crypto [SMTChecker] Small refactoring of defining SMT expressions for structs/tuples 2021-03-16 15:34:43 +01:00
external_calls Fix bug in virtual functions called by constructor. 2021-03-12 16:42:28 +01:00
file_level Do not run SMTChecker when file level functions/constants are present. 2020-12-09 12:18:55 +01:00
function_selector [SMTChecker] Synthesize untrusted functions called externally 2021-01-15 11:56:26 +01:00
functions [SMTChecker] Handle InaccessibleDynamicType 2021-03-24 11:53:06 +01:00
imports [SMTChecker] Added transaction constraints also for contract deployment 2021-02-01 16:46:34 +01:00
inheritance Fix bug in virtual functions called by constructor. 2021-03-12 16:42:28 +01:00
inline_assembly Fix CHC cex order 2021-03-11 10:36:40 +01:00
invariants [SMTChecker] Support check/unchecked 2020-12-30 12:14:30 +01:00
loops Fix bug in virtual functions called by constructor. 2021-03-12 16:42:28 +01:00
math Remove extra line breaks 2021-01-12 14:00:07 +01:00
modifiers [SMTChecker] Synthesize untrusted functions called externally 2021-01-15 11:56:26 +01:00
operators [SMTChecker] Reset reference variables on assignment to a variable of reference type 2021-03-12 19:51:31 +01:00
overflow Fix bug in virtual functions called by constructor. 2021-03-12 16:42:28 +01:00
simple [SMTChecker] Shortcut RationalNumber expressions 2019-03-11 12:53:49 +01:00
special Fix bug in virtual functions called by constructor. 2021-03-12 16:42:28 +01:00
try_catch Fix CHC cex order 2021-03-11 10:36:40 +01:00
typecast [SMTChecker] correct handling of FixedBytes constants initialized with string literal 2021-03-04 15:14:47 +01:00
types Merge pull request #11040 from ethereum/smt_fix_virtual_one_more_time 2021-03-17 16:54:36 +01:00
unchecked Add CLI and JSON option to select SMTChecker targets 2021-01-20 17:35:37 +01:00
verification_target Remove extra line breaks 2021-01-12 14:00:07 +01:00