aboutsummaryrefslogtreecommitdiffstats
path: root/test/tools/isoltest.cpp
Commit message (Expand)AuthorAgeFilesLines
* Have only one source where testsuits are definedMathias Baumann2018-12-101-56/+6
* Add tests.chriseth2018-12-061-0/+12
* Add SMTChecker tests for standard JSONLeonardo Alt2018-11-231-0/+12
* [SMTChecker] Inline calls to internal functionsLeonardo Alt2018-10-151-0/+19
* Renaming namespace dev::julia to dev::yul.Christian Parpart2018-10-151-1/+1
* Renaming libjulia to libyulChristian Parpart2018-10-151-2/+2
* Add Yul optimizer test framework.chriseth2018-10-111-0/+14
* Combine test path discovery.chriseth2018-10-111-21/+4
* Extract test suite runs.chriseth2018-10-111-36/+39
* Extract function.chriseth2018-10-111-19/+25
* Initialize ``TestTool::m_formatted``.Daniel Kirchner2018-08-081-1/+1
* Always count all test cases in isoltest and exit early on user request.Daniel Kirchner2018-08-081-12/+21
* Infrastructure for extracting JSON AST tests.Daniel Kirchner2018-08-041-3/+35
* More consistent catch statementsAlex Beregszaszi2018-07-251-1/+1
* isoltest: adds support for properly handling ANSI escape sequences on Win32/W...Christian Parpart2018-07-161-0/+26
* Refactor syntax test infrastructure to prepare introducing semantics tests.Daniel Kirchner2018-06-151-79/+31
* Improve exception handling in soltest and isoltest.Daniel Kirchner2018-06-121-22/+5
* Fix source location assertion in isoltestAlex Beregszaszi2018-05-161-2/+2
* Add source locations to syntax test expectations.Daniel Kirchner2018-04-101-19/+52
* SyntaxTests: extend syntax tests and isoltest to support parser errors and co...Daniel Kirchner2018-04-041-26/+39
* Merge pull request #3744 from ethereum/useUsrBinEditorAlex Beregszaszi2018-03-211-0/+2
|\
| * Use /usr/bin/editor if exists.chriseth2018-03-161-0/+2
* | Only consider files ending with .sol and not starting with ~ in syntax tests.Daniel Kirchner2018-03-161-1/+3
|/
* Add interactive test tool isoltest.Daniel Kirchner2018-03-151-0/+346
generated by cgit (git 2.34.1) at 2024-11-15 04:39:01 +0800