diff options
author | Andres Noetzli <andres.noetzli@gmail.com> | 2018-08-23 16:28:21 -0700 |
---|---|---|
committer | Aina Niemetz <aina.niemetz@gmail.com> | 2018-08-23 16:28:21 -0700 |
commit | 11a34205808098e503f145b2a779078dd509729e (patch) | |
tree | bd4a69d62192273d4de237d8c7252448cef41c95 /test/unit/parser/parser_black.h | |
parent | 860ae582f334bea2835806b0d5044ca1b6e90d76 (diff) |
Add missing overrides in unit tests (#2362)
Diffstat (limited to 'test/unit/parser/parser_black.h')
-rw-r--r-- | test/unit/parser/parser_black.h | 27 |
1 files changed, 8 insertions, 19 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); } |