Alex Beregszaszi c8c17b693b [SMTChecker] Support events and low-level logs

2020-09-16 11:50:39 +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

[SMTChecker] Support revert()

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

external_calls

[SMTChecker] Change warning message

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

functions

Update SMTChecker tests with z3 4.8.9

2020-09-14 19:04:13 +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] Change warning message

2020-09-09 16:14:21 +02: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

[SMTChecker] Support events and low-level logs

2020-09-16 11:50:39 +02:00

typecast

[SMTChecker] Change warning message

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

types

Merge pull request #9807 from ethereum/smt_readd_tests

2020-09-15 02:57:42 +02:00

verification_target

[SMTChecker] Support revert()

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