Leonardo Alt f4ee4cd479 Update tests

2020-09-22 20:51:28 +02:00

..

array_members

[SMTChecker] Change warning message

2020-09-09 16:14:21 +02:00

complex

[SMTChecker] Change warning message

2020-09-09 16:14:21 +02:00

control_flow

Update tests

2020-09-22 20:51:28 +02:00

external_calls

Update tests

2020-09-22 20:51:28 +02:00

functions

Update tests

2020-09-22 20:51:28 +02:00

imports

[SMTChecker] Fix imports

2020-09-11 13:34:46 +02:00

inheritance

[SMTChecker] Change warning message

2020-09-09 16:14:21 +02:00

inline_assembly

Added error codes to SyntaxTest expectations (updated tests)

2020-06-22 16:51:47 +02:00

invariants

Readd SMTChecker tests

2020-09-14 23:44:13 +02:00

loops

Readd SMTChecker tests

2020-09-14 23:44:13 +02:00

modifiers

[SMTChecker] Support address type conversion with literals

2020-09-22 18:49:11 +01:00

operators

Readd SMTChecker tests

2020-09-14 23:44:13 +02:00

overflow

[SMTChecker] Change warning message

2020-09-09 16:14:21 +02:00

simple

[SMTChecker] Shortcut RationalNumber expressions

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

special

Update tests

2020-09-22 20:51:28 +02:00

typecast

Update tests

2020-09-22 20:51:28 +02:00

types

[SMTChecker] Support address type conversion with literals

2020-09-22 18:49:11 +01:00

verification_target

[SMTChecker] Support revert()

2020-09-15 11:46:33 +01:00