diff options
Diffstat (limited to 'test/unit/test_smt.h')
| -rw-r--r-- | test/unit/test_smt.h | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/test/unit/test_smt.h b/test/unit/test_smt.h index 4951d07b6..f87ec5e64 100644 --- a/test/unit/test_smt.h +++ b/test/unit/test_smt.h @@ -29,12 +29,12 @@ class TestSmt : public TestInternal void SetUp() override { d_nodeManager.reset(new NodeManager(nullptr)); - d_nm_scope.reset(new NodeManagerScope(d_nodeManager.get())); + d_nmScope.reset(new NodeManagerScope(d_nodeManager.get())); d_smtEngine.reset(new SmtEngine(d_nodeManager.get())); d_smtEngine->finishInit(); } - std::unique_ptr<NodeManagerScope> d_nm_scope; + std::unique_ptr<NodeManagerScope> d_nmScope; std::unique_ptr<NodeManager> d_nodeManager; std::unique_ptr<SmtEngine> d_smtEngine; }; @@ -45,11 +45,11 @@ class TestSmtNoFinishInit : public TestInternal void SetUp() override { d_nodeManager.reset(new NodeManager(nullptr)); - d_scope.reset(new NodeManagerScope(d_nodeManager.get())); + d_nmScope.reset(new NodeManagerScope(d_nodeManager.get())); d_smtEngine.reset(new SmtEngine(d_nodeManager.get())); } - std::unique_ptr<NodeManagerScope> d_scope; + std::unique_ptr<NodeManagerScope> d_nmScope; std::unique_ptr<NodeManager> d_nodeManager; std::unique_ptr<SmtEngine> d_smtEngine; }; |