 Leo Alt
|
937af7d722
|
Fix SMT test
|
2021-08-12 22:34:18 +02:00 |
|
 chriseth
|
fe0d027d45
|
Merge pull request #11785 from ethereum/someMoreBaseFees
Some more base fees.
|
2021-08-12 19:48:10 +02:00 |
|
|
Leo Alt
|
6ee60aa628
|
Fix false positive on external calls from constructors
|
2021-08-12 18:51:55 +02:00 |
|
|
chriseth
|
c87c0f02bd
|
Test updates.
|
2021-08-12 16:56:12 +02:00 |
|
|
Leo Alt
|
10397e440c
|
Fix ICE in constants
|
2021-08-12 10:53:01 +02:00 |
|
|
Leo Alt
|
3c1f555f71
|
Tests
|
2021-08-04 13:54:50 +02:00 |
|
|
Leo Alt
|
e46abd0ca1
|
Update tests due to nondeterminism
|
2021-07-19 15:20:11 +02:00 |
|
|
Leo Alt
|
20e23171da
|
Update tests to z3 4.8.12
|
2021-07-16 14:43:52 +02:00 |
|
|
chriseth
|
1f8f1a3db9
|
Merge pull request #11484 from ethereum/fix-unreachable-code-anaysis
Fix revert pruner modifying function flows wrong
|
2021-06-04 12:44:35 +02:00 |
|
|
chriseth
|
8da5d6a854
|
Update test expectations.
|
2021-06-04 12:04:04 +02:00 |
|
|
chriseth
|
2e3ee4c156
|
Fix control-flow handling of modifiers without body.
|
2021-06-03 13:31:15 +02:00 |
|
|
chriseth
|
4cbf9ff74c
|
Merge pull request #10143 from ethereum/issue-10084
ControlFlowAnalyser: Also consider called functions in a flow
|
2021-06-01 19:34:56 +02:00 |
|
|
Leo Alt
|
bf21cd400c
|
Fix conversion from bytes to fixed bytes
|
2021-06-01 17:55:18 +02:00 |
|
 Mathias Baumann
|
56ebea8b2f
|
ControlFlowAnalyser: Also consider called functions in a flow
|
2021-06-01 15:54:37 +02:00 |
|
|
Leo Alt
|
547a6915ad
|
Fix ICE on external calls from constructor
|
2021-06-01 14:21:48 +02:00 |
|
|
Leo Alt
|
97a7c5429b
|
Add SMTChecker tests with modules
|
2021-06-01 13:35:44 +02:00 |
|
|
Leo Alt
|
8eb28b10cb
|
Add SMTChecker tests with modules
|
2021-06-01 13:35:10 +02:00 |
|
|
Leo Alt
|
d828aeee23
|
Update test nondet
|
2021-05-26 22:12:49 +02:00 |
|
 Martin Blicha
|
9c98ab59f0
|
SMTChecker: fixed struct constructor where FixedBytes member is initialized with a string literal
|
2021-05-17 13:52:37 +02:00 |
|
|
Leo Alt
|
880a2fffb6
|
tests
|
2021-05-11 21:20:42 +02:00 |
|
|
Leo Alt
|
1642c10f6e
|
Fix ICE in free functions
|
2021-05-03 10:57:11 +02:00 |
|
 Alex Beregszaszi
|
1be07c2b36
|
Trivial isoltest updates: missing // ---- at the end
|
2021-04-20 17:38:29 +02:00 |
|
|
Alex Beregszaszi
|
84c05d35f3
|
Trivial isoltest updates: normalized whitespace
|
2021-04-20 17:38:29 +02:00 |
|
|
Alex Beregszaszi
|
45c6bbe02b
|
Trivial isoltest updates: directives sorted alphabetically
|
2021-04-20 17:21:56 +02:00 |
|
|
Leonardo Alt
|
a39a6e26da
|
update tests
|
2021-04-19 19:23:18 +02:00 |
|
|
Leonardo Alt
|
80892c8a21
|
Fix nondeterminism
|
2021-04-19 19:23:18 +02:00 |
|
|
Leonardo Alt
|
36def3ef6e
|
tests for free constants
|
2021-04-19 19:23:18 +02:00 |
|
|
Leonardo Alt
|
fd8b4afb76
|
new free function tests
|
2021-04-19 19:23:18 +02:00 |
|
|
Leonardo Alt
|
095d337140
|
Basic support to free constants
|
2021-04-19 19:23:18 +02:00 |
|
|
Leonardo Alt
|
6ae82fcec2
|
Add tests for the library bug
|
2021-04-19 19:23:18 +02:00 |
|
|
Leonardo Alt
|
4e34359063
|
Basic support to free functions
|
2021-04-19 19:23:18 +02:00 |
|
 Kamil Śliwak
|
7b467a49d7
|
Disable assertion that gives non-deterministic results in in slice tests for SMTChecker
|
2021-04-15 17:14:21 +02:00 |
|
|
Leonardo Alt
|
8a7e94c06f
|
Keep pragma in smoke test for bytecode compare script
|
2021-04-08 21:03:39 +02:00 |
|
|
Leonardo Alt
|
0a4afa71bd
|
Update old tests
|
2021-04-08 21:03:39 +02:00 |
|
|
Leonardo Alt
|
d617ef461e
|
Add new tests
|
2021-04-08 21:03:38 +02:00 |
|
|
Martin Blicha
|
330fb8f4d0
|
[SMTChecker] Assignment refactoring
|
2021-03-31 13:36:50 +02:00 |
|
|
Martin Blicha
|
2d231f1859
|
[SMTChecker] Changed SMTEncoder::mergeVariables to work regardless which branch has been visited first
|
2021-03-30 20:35:44 +02:00 |
|
|
Leonardo Alt
|
ba97d6ac4e
|
Add local vars to cex
|
2021-03-30 17:55:21 +02:00 |
|
|
Leonardo Alt
|
dbd067d6db
|
Report out of bounds index access
|
2021-03-30 10:28:48 +02:00 |
|
|
Martin Blicha
|
85358dfe30
|
[SMTChecker] Do not create targets for contracts that cannot be deployed
|
2021-03-25 15:38:37 +01:00 |
|
|
Martin Blicha
|
5293f05ee3
|
[SMTChecker] Fix ICE on ABI functions with no arguments
|
2021-03-25 13:28:29 +01:00 |
|
|
Martin Blicha
|
98446782e2
|
[SMTChecker] Fix compound assignment to push
|
2021-03-24 14:54:13 +01:00 |
|
|
Martin Blicha
|
852e877ae7
|
[SMTChecker] Handle InaccessibleDynamicType
|
2021-03-24 11:53:06 +01:00 |
|
|
Leonardo
|
25b31111df
|
Merge pull request #11040 from ethereum/smt_fix_virtual_one_more_time
[SMTChecker] Fix bug in virtual functions called by constructor
|
2021-03-17 16:54:36 +01:00 |
|
|
Martin Blicha
|
432944d0b4
|
[SMTChecker] Small refactoring of defining SMT expressions for structs/tuples
|
2021-03-16 15:34:43 +01:00 |
|
|
Martin Blicha
|
2f52affcc2
|
[SMTChecker] Correctly resolve current scope contract in VariableUsage.
|
2021-03-15 13:55:14 +01:00 |
|
|
Martin Blicha
|
6aa6c5f5f9
|
[SMTChecker] Reset reference variables on assignment to a variable of reference type
|
2021-03-12 19:51:31 +01:00 |
|
|
Leonardo Alt
|
998346e599
|
Fix bug in virtual functions called by constructor.
|
2021-03-12 16:42:28 +01:00 |
|
|
Martin Blicha
|
0cb75293f9
|
[SMTChecker] fix handling of assignments of array/mapping state variable accessed using contract name
|
2021-03-12 14:01:07 +01:00 |
|
|
Leonardo Alt
|
6fd76e830d
|
Fix CHC cex order
|
2021-03-11 10:36:40 +01:00 |
|