Leonardo Alt
|
e4851cf59e
|
[SMTChecker] Inline calls to internal functions
|
2018-10-15 15:11:21 +02:00 |
|
Christian Parpart
|
1304361b9c
|
Renaming namespace dev::julia to dev::yul.
|
2018-10-15 11:58:51 +02:00 |
|
Christian Parpart
|
9a4bec7e47
|
Renaming libjulia to libyul
|
2018-10-15 11:52:35 +02:00 |
|
chriseth
|
4607118d2e
|
Add Yul optimizer test framework.
|
2018-10-11 16:59:57 +02:00 |
|
chriseth
|
9da62384ee
|
Combine test path discovery.
|
2018-10-11 15:01:43 +02:00 |
|
chriseth
|
50247dc8d1
|
Extract test suite runs.
|
2018-10-11 15:01:43 +02:00 |
|
chriseth
|
9081f803c7
|
Extract function.
|
2018-10-11 15:01:43 +02:00 |
|
chriseth
|
5b5a4d0172
|
Merge pull request #5134 from ethereum/fuzzer-input-file
solfuzzer: adds --input-file=FILENAME command line argument (defaulting to stdin)
|
2018-10-10 16:00:58 +02:00 |
|
Christian Parpart
|
212a6e146a
|
adds --input-file=FILENAME to solfuzzer
|
2018-10-10 11:13:03 +02:00 |
|
Alex Beregszaszi
|
9e032bff43
|
Use nullptr instead of NULL where appropriate
|
2018-10-09 18:06:39 +01:00 |
|
Alex Beregszaszi
|
24563dd3ce
|
Do not use compileJSON wrapper in the fuzzer
|
2018-09-29 14:58:59 +01:00 |
|
Daniel Kirchner
|
967bb6d999
|
Initialize `TestTool::m_formatted `.
|
2018-08-07 21:23:01 +02:00 |
|
Daniel Kirchner
|
a6df7b1fb8
|
Always count all test cases in isoltest and exit early on user request.
|
2018-08-07 19:28:21 +02:00 |
|
Daniel Kirchner
|
d923926ff7
|
Infrastructure for extracting JSON AST tests.
|
2018-08-03 20:35:50 +02:00 |
|
Alex Beregszaszi
|
a5a61a0b77
|
More consistent catch statements
Also take const& in all cases.
|
2018-07-25 01:18:09 +01:00 |
|
Christian Parpart
|
05121eebd1
|
isoltest: adds support for properly handling ANSI escape sequences on Win32/Win64 builds.
|
2018-07-16 16:34:23 +02:00 |
|
Alex Beregszaszi
|
b248fc6436
|
Catch the proper exceptions in solfuzzer
|
2018-07-11 23:49:14 +02:00 |
|
Daniel Kirchner
|
14d0f8c2f1
|
Refactor syntax test infrastructure to prepare introducing semantics tests.
|
2018-06-15 10:51:40 +02:00 |
|
Daniel Kirchner
|
9f546cfafc
|
Improve exception handling in soltest and isoltest.
|
2018-06-12 11:06:14 +02:00 |
|
Alex Beregszaszi
|
0bed065ee7
|
Fix source location assertion in isoltest
|
2018-05-16 15:52:43 +02:00 |
|
mingchuan
|
dbd0a7ed60
|
Fix link error when using boost shared library
|
2018-05-11 11:20:19 +08:00 |
|
Daniel Kirchner
|
f03695731b
|
Add source locations to syntax test expectations.
|
2018-04-10 14:08:22 +02:00 |
|
Daniel Kirchner
|
6f9644add1
|
SyntaxTests: extend syntax tests and isoltest to support parser errors and compiler exceptions.
|
2018-04-03 19:54:45 +02:00 |
|
Alex Beregszaszi
|
8fd53c1c03
|
Merge pull request #3744 from ethereum/useUsrBinEditor
Use /usr/bin/editor if exists.
|
2018-03-21 15:28:21 +00:00 |
|
Daniel Kirchner
|
e68c19c47b
|
Only consider files ending with .sol and not starting with ~ in syntax tests.
|
2018-03-16 12:28:21 +01:00 |
|
chriseth
|
ea8d5f8afc
|
Use /usr/bin/editor if exists.
|
2018-03-15 18:20:23 +01:00 |
|
Daniel Kirchner
|
7fa892eca9
|
Add interactive test tool isoltest.
|
2018-03-15 16:23:49 +01:00 |
|
Daniel Kirchner
|
121f87b043
|
Move test tools to the subdirectory test/tools and adjust CMakeLists.txt.
|
2018-03-12 18:40:20 +01:00 |
|