Kamil Śliwak
|
9adbced98e
|
Remove parser error recovery mode
|
2023-08-22 12:00:11 +02:00 |
|
Matheus Aguiar
|
969aea6d33
|
Added new kind of test: check for specific properties of AST
|
2023-08-21 12:37:40 -03:00 |
|
Alexander Arlt
|
c5673278a7
|
Remove EWASM backend.
|
2023-05-11 10:56:55 -05:00 |
|
Rodrigo Q. Saramago
|
28c7fdae09
|
Migrate yulStackShuffling tests to isoltest
|
2023-04-25 15:53:01 +02:00 |
|
Daniel Kirchner
|
6b6e163be5
|
Tests.
|
2022-03-02 16:42:28 +01:00 |
|
chriseth
|
9417d6775f
|
Control flow side-effects for user-defined functions.
|
2021-10-14 17:46:07 +02:00 |
|
Daniel Kirchner
|
f881409ea4
|
Stack layout generator for new code generation.
|
2021-09-02 17:47:19 +02:00 |
|
Daniel Kirchner
|
f3707f2ab0
|
Control flow graph for Yul.
|
2021-07-15 15:24:12 +02:00 |
|
Martin Blicha
|
145a03bdd6
|
Run SMTChecker tests on all EVM versions
|
2021-03-23 12:51:52 +01:00 |
|
Daniel Kirchner
|
e99da7e015
|
Extract StackReuseCodegen tests.
|
2021-03-09 15:47:24 +01:00 |
|
Leonardo Alt
|
8eba66daf9
|
Extract boost smt and remove unused tests
|
2020-09-23 17:55:55 +02:00 |
|
Leonardo Alt
|
5bb4e73693
|
Review 1
|
2020-07-23 18:49:03 +02:00 |
|
Sachin Grover
|
b7adb2aa42
|
Add SPDX license identifier if not present already in source file
Fixes: #9220
|
2020-07-17 20:24:12 +05:30 |
|
Daniel Kirchner
|
c8f25142a7
|
Add nooptions label to smt checks.
|
2020-07-11 20:17:12 +02:00 |
|
Mathias Baumann
|
fc10e701fc
|
Implement yul syntax tests
|
2020-02-05 14:58:34 +01:00 |
|
Christian Parpart
|
ed45b000d1
|
Adapt tests directory to C++ namespace changes.
|
2020-01-07 15:51:50 +01:00 |
|
Alex Beregszaszi
|
7effc94f24
|
Rename EVMToEWasmTranslator to EVMToEwasmTranslator
|
2019-12-18 16:57:45 +00:00 |
|
Leonardo Alt
|
225041738e
|
Add SMTCheckerTest for isoltest
|
2019-12-09 15:32:08 +01:00 |
|
chriseth
|
d4d0df021d
|
EWasm translation tests.
|
2019-11-26 15:46:33 +01:00 |
|
chriseth
|
3c4f558242
|
Tests
|
2019-08-15 16:30:05 +02:00 |
|
chriseth
|
c4638cc5cb
|
Remove mention of IPC.
|
2019-08-08 17:35:46 +02:00 |
|
chriseth
|
a4ef435c07
|
Automated ABI Json tests.
|
2019-07-02 18:11:49 +02:00 |
|
rocky
|
8b461be2b0
|
Add missing space in error recovery message.
Also add a space in the Test Title
|
2019-06-24 06:28:18 -04:00 |
|
rocky
|
ca3afea1d7
|
Add Steve Johnson-style parser recovery rules:
SourceUnit = Error $
Block = '{' Error '}'
ContractDefinition = '{' Error '}'
Statement = Error ';'
Co-Authored-By: chriseth <chris@ethereum.org>
|
2019-06-17 14:47:07 +02:00 |
|
chriseth
|
4ee703e6e5
|
Revert "Add Steve Johnson-style parser recovery rules:"
This reverts commit 97f8ee0d1b .
|
2019-05-28 18:09:24 +02:00 |
|
rocky
|
97f8ee0d1b
|
Add Steve Johnson-style parser recovery rules:
SourceUnit = Error $
Block = '{' Error '}'
ContractDefinition = '{' Error '}'
Statement = Error ';'
Co-Authored-By: chriseth <chris@ethereum.org>
|
2019-05-28 15:06:34 +02:00 |
|
Daniel Kirchner
|
0a99519142
|
Move gas cost tests from command line tests to interactive gas cost tests.
|
2019-05-07 18:12:21 +02:00 |
|
chriseth
|
5eb155b894
|
Interpreter tests.
|
2019-02-25 11:58:36 +01:00 |
|
Erik Kundt
|
190634e1f9
|
Implements infrastructure for semantic tests.
|
2019-02-13 13:05:58 +01:00 |
|
Mathias Baumann
|
55d7d327c4
|
Have only one source where testsuits are defined
|
2018-12-10 16:49:33 +01:00 |
|