diff options
| author | Aina Niemetz <aina.niemetz@gmail.com> | 2021-02-24 12:25:10 -0800 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-02-24 12:25:10 -0800 |
| commit | cb86456081168ad0a9b3157e3981d364347847b4 (patch) | |
| tree | b8629dcf18a9ae6d6a8cc5f1e38fce2ed31cc463 /test/unit/test_smt.h | |
| parent | 82aebfb5c8c30e778453fc818d132a9158349d55 (diff) | |
google test: theory: Migrate theory_engine_white. (#5988)
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; }; |