Introduced TestCase::shouldRun().

2023-10-03 13:03:40 +00:00 · 2020-03-09 15:52:20 +01:00
parent b7c001eb7f
commit 29b770c434
10 changed files with 48 additions and 53 deletions
@@ -37,8 +37,6 @@ public:

 	TestResult run(std::ostream& _stream, std::string const& _linePrefix = "", bool _formatted = false) override;

-	bool validateSettings(langutil::EVMVersion _evmVersion) override;
-
 protected:
 	/// This is set via option SMTSolvers in the test.
 	/// The possible options are `all`, `z3`, `cvc4`, `none`,