Martin Blicha 2ee0f347b9 [SMTChecker] additional regression tests

2021-01-14 14:54:14 +01:00

..

abi

[SMTChecker] additional regression tests

2021-01-14 14:54:14 +01:00

array_members

[SMTChecker] Fixed pushing string literal to bytes array

2021-01-13 16:30:50 +01:00

blockchain_state

Remove extra line breaks

2021-01-12 14:00:07 +01:00

bmc_coverage

update to the tests

2021-01-11 13:36:03 +01:00

complex

Add and update tests

2020-12-17 14:42:49 +01:00

control_flow

Output internal calls

2021-01-12 14:57:04 +01:00

crypto

Output internal calls

2021-01-12 14:57:04 +01:00

external_calls

Remove extra line breaks

2021-01-12 14:00:07 +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] Refactoring expression to tuple assignment

2021-01-12 17:15:14 +01:00

functions

Output internal calls

2021-01-12 14:57:04 +01:00

imports

Output internal calls

2021-01-12 14:57:04 +01:00

inheritance

Remove extra line breaks

2021-01-12 14:00:07 +01:00

inline_assembly

[SMTChecker] report SMTEncoder warnings also via CHC

2020-11-03 16:06:17 +00:00

invariants

[SMTChecker] Support check/unchecked

2020-12-30 12:14:30 +01:00

loops

Remove extra line breaks

2021-01-12 14:00:07 +01:00

math

Remove extra line breaks

2021-01-12 14:00:07 +01:00

modifiers

Output internal calls

2021-01-12 14:57:04 +01:00

operators

Output internal calls

2021-01-12 14:57:04 +01:00

overflow

Remove extra line breaks

2021-01-12 14:00:07 +01:00

simple

[SMTChecker] Shortcut RationalNumber expressions

2019-03-11 12:53:49 +01:00

special

Output internal calls

2021-01-12 14:57:04 +01:00

try_catch

Output internal calls

2021-01-12 14:57:04 +01:00

typecast

Output internal calls

2021-01-12 14:57:04 +01:00

types

Output internal calls

2021-01-12 14:57:04 +01:00

unchecked

Output internal calls

2021-01-12 14:57:04 +01:00

verification_target

Remove extra line breaks

2021-01-12 14:00:07 +01:00