7 Commits

Include renames

Author	SHA1	Message	Date
Daniel Kirchner	6ed219ebe8	Support multiple sources for syntax tests.	2019-08-19 14:45:26 +02:00
Daniel Kirchner	76b88bdfd8	Allow test cases to indicate fatal errors.	2019-05-07 18:12:21 +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
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
Leonardo Alt	c51e6a545a	Remove boost test checks from SMTCheckerJSONTest	2018-11-28 14:16:43 +01:00
Leonardo Alt	0ff4cbe51b	Add SMTChecker tests for standard JSON	2018-11-23 10:51:06 +00:00