Alex Beregszaszi edbdff8619 Update tests		2020-12-14 19:32:31 +00:00
..
array_members	[SMTChecker] Adding unary increment and decrement as under/overflow verification targets for the CHC engine	2020-12-11 17:41:50 +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	Update tests	2020-12-14 19:32:31 +00: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	Move CHC counterexamples to primary location	2020-12-09 19:55:18 +01:00
operators	Update tests	2020-12-14 19:32:31 +00: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	Update tests	2020-12-14 19:32:31 +00:00
verification_target	Move CHC counterexamples to primary location	2020-12-09 19:55:18 +01:00