17 Commits

Author	SHA1	Message	Date
Djordje Mijovic	c6e4943089	Adding fixes for signedness warnings in libsolidity ... Co-authored-by: Kamil Śliwak <kamil.sliwak@codepoets.it>	2020-06-10 10:41:55 +02:00
chriseth	3872a1f000	Add support for SPDX license identifiers.	2020-05-13 18:16:59 +02:00
a3d4	bb38ce1759	Decoupled error checking and report printing in CommonSyntaxTest.	2020-03-16 23:22:56 +01:00
Leonardo Alt	bcefda747c	Do not run smtCheckerTestsJSON if no solver available	2020-03-10 15:41:49 +01:00
Mathias Baumann	00e4d13975	TestFramework: Merge Options.h into Common.h	2020-01-29 12:27:05 +01:00
Mathias Baumann	2f1f8e25c1	TestFramework: Remove headers from Options.h	2020-01-28 17:29:22 +01:00
Christian Parpart	345f9928ab	Library libdevcore renamed to libsolutil.	2020-01-07 15:51:50 +01:00
Christian Parpart	ed45b000d1	Adapt tests directory to C++ namespace changes.	2020-01-07 15:51:50 +01:00
Leonardo Alt	225041738e	Add SMTCheckerTest for isoltest	2019-12-09 15:32:08 +01:00
Alex Beregszaszi	7156c908be	Drop non-strict version of jsonParse* and always use jsonParseStrict	2019-12-03 16:20:23 +01:00
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