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/theory/theory_black.h | |
| parent | 860ae582f334bea2835806b0d5044ca1b6e90d76 (diff) | |
Add missing overrides in unit tests (#2362)
Diffstat (limited to 'test/unit/theory/theory_black.h')
| -rw-r--r-- | test/unit/theory/theory_black.h | 9 |
1 files changed, 5 insertions, 4 deletions
diff --git a/test/unit/theory/theory_black.h b/test/unit/theory/theory_black.h index 487c6a434..569d7e30b 100644 --- a/test/unit/theory/theory_black.h +++ b/test/unit/theory/theory_black.h @@ -44,9 +44,9 @@ private: NodeManager* d_nm; SmtScope* d_scope; -public: - - void setUp() { + public: + void setUp() override + { d_em = new ExprManager(); d_smt = new SmtEngine(d_em); d_scope = new SmtScope(d_smt); @@ -54,7 +54,8 @@ public: d_nm = NodeManager::fromExprManager(d_em); } - void tearDown() { + void tearDown() override + { delete d_scope; delete d_smt; delete d_em; |