12 Commits

Author	SHA1	Message	Date
Erik Kundt	190634e1f9	Implements infrastructure for semantic tests.	2019-02-13 13:05:58 +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
Lazaridis	56d5dd4668	decouple TestCase class from test/libsolidity	2018-11-25 02:34:59 +02:00
Leonardo Alt	0ff4cbe51b	Add SMTChecker tests for standard JSON	2018-11-23 10:51:06 +00:00
Christian Parpart	87821c53c3	Isolating files shared between Yul- and Solidity language frontend.	2018-11-21 18:58:12 +00:00
mordax	ea8b7d803e	Removing redundant virtual from override function declaration ... Remove trailing whitespace Remove changelog change	2018-11-21 14:37:32 +00:00
Daniel Kirchner	14d0f8c2f1	Refactor syntax test infrastructure to prepare introducing semantics tests.	2018-06-15 10:51:40 +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
Daniel Kirchner	e68c19c47b	Only consider files ending with .sol and not starting with ~ in syntax tests.	2018-03-16 12:28:21 +01:00
Daniel Kirchner	269241e910	Add formatted printing to SyntaxTest and expand its public interface.	2018-03-15 16:23:46 +01:00
Daniel Kirchner	3232561d97	Refactoring; fuse SyntaxTestParser and SyntaxTester to SyntaxTest.	2018-03-13 11:20:11 +01:00