chriseth
|
aeb260cde1
|
Add settings framework for interactive tests.
|
2019-04-03 14:58:20 +02:00 |
|
Daniel Kirchner
|
a178486436
|
Review suggestions.
|
2019-03-18 14:34:00 +01:00 |
|
Daniel Kirchner
|
4a28e1eb43
|
Support EVM Version rules for extracted tests.
|
2019-03-15 17:23:20 +01:00 |
|
Mathias Baumann
|
7a40088d95
|
Fix isoltest --no-color option
|
2019-02-21 16:42:23 +01:00 |
|
Mathias Baumann
|
1672902abb
|
Unify isoltest and soltest options code
Also provide a default value for ipc-path, which is the same one as aleth uses.
|
2019-02-21 14:04:39 +01:00 |
|
Mathias Baumann
|
f4110b295b
|
Use env variable to get IPC path for isoltest
|
2019-02-21 13:27:24 +01:00 |
|
Erik Kundt
|
dacad629ef
|
Adds semantic tests to test framework and isoltest.
|
2019-02-15 13:27:15 +01:00 |
|
Christian Parpart
|
53f9be8a23
|
Adapts tests/ to use AnsiColorized (the generalized/moved version of FormattedScope, which in turn is removed in this PR)
|
2019-02-11 16:00:24 +01:00 |
|
Mathias Baumann
|
55d7d327c4
|
Have only one source where testsuits are defined
|
2018-12-10 16:49:33 +01:00 |
|
chriseth
|
b7cfa499b0
|
Add tests.
|
2018-12-06 14:43:14 +01:00 |
|
Leonardo Alt
|
0ff4cbe51b
|
Add SMTChecker tests for standard JSON
|
2018-11-23 10:51:06 +00:00 |
|
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 |
|
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 |
|
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 |
|
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 |
|