diff options
Diffstat (limited to 'test/unit/parser')
-rw-r--r-- | test/unit/parser/parser_black.h | 27 | ||||
-rw-r--r-- | test/unit/parser/parser_builder_black.h | 4 |
2 files changed, 10 insertions, 21 deletions
diff --git a/test/unit/parser/parser_black.h b/test/unit/parser/parser_black.h index e7548708e..58ed12a60 100644 --- a/test/unit/parser/parser_black.h +++ b/test/unit/parser/parser_black.h @@ -217,13 +217,9 @@ class Cvc4ParserTest : public CxxTest::TestSuite, public ParserBlack { public: Cvc4ParserTest() : ParserBlack(LANG_CVC4) { } - void setUp() { - super::setUp(); - } + void setUp() override { super::setUp(); } - void tearDown() { - super::tearDown(); - } + void tearDown() override { super::tearDown(); } void testGoodCvc4Inputs() { tryGoodInput(""); // empty string is OK @@ -307,13 +303,9 @@ class Smt1ParserTest : public CxxTest::TestSuite, public ParserBlack { public: Smt1ParserTest() : ParserBlack(LANG_SMTLIB_V1) { } - void setUp() { - super::setUp(); - } + void setUp() override { super::setUp(); } - void tearDown() { - super::tearDown(); - } + void tearDown() override { super::tearDown(); } void testGoodSmt1Inputs() { tryGoodInput(""); // empty string is OK @@ -376,15 +368,12 @@ class Smt2ParserTest : public CxxTest::TestSuite, public ParserBlack { public: Smt2ParserTest() : ParserBlack(LANG_SMTLIB_V2) { } - void setUp() { - super::setUp(); - } + void setUp() override { super::setUp(); } - void tearDown() { - super::tearDown(); - } + void tearDown() override { super::tearDown(); } - virtual void setupContext(Parser& parser) { + void setupContext(Parser& parser) override + { if(dynamic_cast<Smt2*>(&parser) != NULL){ dynamic_cast<Smt2*>(&parser)->addTheory(Smt2::THEORY_CORE); } diff --git a/test/unit/parser/parser_builder_black.h b/test/unit/parser/parser_builder_black.h index 45baf177f..d83d2681b 100644 --- a/test/unit/parser/parser_builder_black.h +++ b/test/unit/parser/parser_builder_black.h @@ -38,9 +38,9 @@ using namespace std; class ParserBuilderBlack : public CxxTest::TestSuite { public: - void setUp() { d_solver.reset(new api::Solver()); } + void setUp() override { d_solver.reset(new api::Solver()); } - void tearDown() {} + void tearDown() override {} void testEmptyFileInput() { |