Djordje Mijovic 11a7763f49 [SMTChecker] Support bitwise or, xor and not.

2020-08-26 11:06:56 +02:00

..

array_members

Update remaining tests

2020-08-14 12:58:27 +02:00

complex

Update remaining tests

2020-08-14 12:58:27 +02:00

control_flow

Update remaining tests

2020-08-14 12:58:27 +02:00

external_calls

Fix tests after rebase

2020-07-23 18:49:03 +02:00

functions

Update remaining tests

2020-08-14 12:58:27 +02:00

inheritance

Update remaining tests

2020-08-14 12:58:27 +02:00

inline_assembly

Added error codes to SyntaxTest expectations (updated tests)

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

invariants

Add test from Aon blog post

2020-08-04 09:31:48 +02:00

loops

Update remaining tests

2020-08-14 12:58:27 +02:00

modifiers

Update remaining tests

2020-08-14 12:58:27 +02:00

operators

[SMTChecker] Support bitwise or, xor and not.

2020-08-26 11:06:56 +02:00

overflow

Update overflow tests

2020-08-14 12:58:27 +02:00

simple

[SMTChecker] Shortcut RationalNumber expressions

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

special

Update remaining tests

2020-08-14 12:58:27 +02:00

typecast

Update tests

2020-07-23 18:49:03 +02:00

types

Merge pull request #9639 from ethereum/smtConditionalSupport

2020-08-21 14:25:47 +02:00

verification_target

Update tests

2020-07-23 18:49:03 +02:00