solidity/test/libsolidity/smtCheckerTests
2021-03-04 15:14:47 +01:00
..
abi [SMTChecker] Added transaction constraints also for contract deployment 2021-02-01 16:46:34 +01:00
array_members [SMTChecker] added missing type constraints for Address 2021-01-27 20:39:24 +01:00
blockchain_state [SMTChecker] Added transaction constraints also for contract deployment 2021-02-01 16:46:34 +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 [SMTChecker] Synthesize untrusted functions called externally 2021-01-15 11:56:26 +01:00
crypto [SMTChecker] Added transaction constraints also for contract deployment 2021-02-01 16:46:34 +01:00
external_calls [SMTChecker] Added transaction constraints also for contract deployment 2021-02-01 16:46:34 +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] Added transaction constraints also for contract deployment 2021-02-01 16:46:34 +01:00
imports [SMTChecker] Added transaction constraints also for contract deployment 2021-02-01 16:46:34 +01:00
inheritance Fix inheritance bug in CHC cex 2021-02-02 18:06:32 +01:00
inline_assembly [SMTChecker] Basic support for inline assembly using over-approximating analysis 2021-01-26 16:20:50 +01:00
invariants [SMTChecker] Support check/unchecked 2020-12-30 12:14:30 +01:00
loops [SMTChecker] added missing type constraints for Address 2021-01-27 20:39:24 +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] Added transaction constraints also for contract deployment 2021-02-01 16:46:34 +01:00
overflow [SMTChecker] added missing type constraints for Address 2021-01-27 20:39:24 +01:00
simple [SMTChecker] Shortcut RationalNumber expressions 2019-03-11 12:53:49 +01:00
special [SMTChecker] Added transaction constraints also for contract deployment 2021-02-01 16:46:34 +01:00
try_catch [SMTChecker] Added transaction constraints also for contract deployment 2021-02-01 16:46:34 +01:00
typecast [SMTChecker] correct handling of FixedBytes constants initialized with string literal 2021-03-04 15:14:47 +01:00
types [SMTChecker] updates to the tests 2021-02-03 15:53:58 +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