solidity/test/libsolidity/smtCheckerTests
2020-12-15 19:49:57 +01:00
..
array_members Fix SMTChecker tests on breaking 2020-12-15 19:49:57 +01:00
blockchain_state Move CHC counterexamples to primary location 2020-12-09 19:55:18 +01:00
bmc_coverage [SMTChecker] Adding unary increment and decrement as under/overflow verification targets for the CHC engine 2020-12-11 17:41:50 +01:00
complex Move CHC counterexamples to primary location 2020-12-09 19:55:18 +01:00
control_flow [SMTChecker] Adding unary increment and decrement as under/overflow verification targets for the CHC engine 2020-12-11 17:41:50 +01:00
crypto Move CHC counterexamples to primary location 2020-12-09 19:55:18 +01:00
external_calls Update counter-examples. 2020-12-14 14:21:35 +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 Move CHC counterexamples to primary location 2020-12-09 19:55:18 +01:00
functions Merge pull request #10605 from ethereum/develop 2020-12-15 14:01:01 +01:00
imports [SMTChecker] Adding unary increment and decrement as under/overflow verification targets for the CHC engine 2020-12-11 17:41:50 +01:00
inheritance Move CHC counterexamples to primary location 2020-12-09 19:55:18 +01:00
inline_assembly [SMTChecker] report SMTEncoder warnings also via CHC 2020-11-03 16:06:17 +00:00
invariants [SMTChecker] Adding unary increment and decrement as under/overflow verification targets for the CHC engine 2020-12-11 17:41:50 +01:00
loops [SMTChecker] Adding unary increment and decrement as under/overflow verification targets for the CHC engine 2020-12-11 17:41:50 +01:00
math Move CHC counterexamples to primary location 2020-12-09 19:55:18 +01:00
modifiers [SMTChecker] Fix internal error on abstract modifier 2020-12-14 18:23:25 +01:00
operators Merge pull request #10605 from ethereum/develop 2020-12-15 14:01:01 +01:00
overflow Move CHC counterexamples to primary location 2020-12-09 19:55:18 +01:00
simple [SMTChecker] Shortcut RationalNumber expressions 2019-03-11 12:53:49 +01:00
special Merge remote-tracking branch 'origin/develop' into breaking 2020-12-10 12:15:52 +01:00
typecast Update tests 2020-12-14 19:32:31 +00:00
types Merge pull request #10605 from ethereum/develop 2020-12-15 14:01:01 +01:00
verification_target Move CHC counterexamples to primary location 2020-12-09 19:55:18 +01:00