solidity/test/libsolidity/smtCheckerTests
2021-01-26 16:20:50 +01:00
..
abi [SMTChecker] additional regression tests 2021-01-14 14:54:14 +01:00
array_members [SMTChecker] Synthesize untrusted functions called externally 2021-01-15 11:56:26 +01:00
blockchain_state Add msgvalue to cex 2021-01-21 19:05:44 +01:00
bmc_coverage [SMTChecker] Reset checked/unchecked flag to the default value when inlining function in BMC 2021-01-15 15:36:26 +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] Synthesize untrusted functions called externally 2021-01-15 11:56:26 +01:00
external_calls Add msgvalue to cex 2021-01-21 19:05:44 +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 Add msgvalue to cex 2021-01-21 19:05:44 +01:00
imports [SMTChecker] Synthesize untrusted functions called externally 2021-01-15 11:56:26 +01:00
inheritance Add msgvalue to cex 2021-01-21 19:05:44 +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 Add msgvalue to cex 2021-01-21 19:05:44 +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 Add msgvalue to cex 2021-01-21 19:05:44 +01:00
overflow Add msgvalue to cex 2021-01-21 19:05:44 +01:00
simple [SMTChecker] Shortcut RationalNumber expressions 2019-03-11 12:53:49 +01:00
special Add msgvalue to cex 2021-01-21 19:05:44 +01:00
try_catch Add msgvalue to cex 2021-01-21 19:05:44 +01:00
typecast [SMTChecker] Synthesize untrusted functions called externally 2021-01-15 11:56:26 +01:00
types Update smtCheckerTests for z3 4.8.10 2021-01-26 10:18:52 +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