diff options
author | Andres Noetzli <andres.noetzli@gmail.com> | 2019-03-06 13:26:43 -0800 |
---|---|---|
committer | Andres Noetzli <andres.noetzli@gmail.com> | 2019-03-06 14:28:33 -0800 |
commit | 65af88c6392f90d8e18ebe3957226b837e617581 (patch) | |
tree | 87bd094c02186cdbef81c8809aacf4038b59c03a /test/unit/proof/lrat_proof_black.h | |
parent | 6374d4154e6de85879567f5c1150c7d471440834 (diff) |
Use TMPDIR environment variable for temp filesup-fix-fix
Previosuly, we were just writing temporary files to `/tmp/` but this
commit allows the user to use the `TMPDIR` environment variable to
determine which directory the temporary file should be written to. The
commit adds a helper function for this and also includes some minor
cleanup of existing code.
Diffstat (limited to 'test/unit/proof/lrat_proof_black.h')
-rw-r--r-- | test/unit/proof/lrat_proof_black.h | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/test/unit/proof/lrat_proof_black.h b/test/unit/proof/lrat_proof_black.h index 398c551fe..b4b41922f 100644 --- a/test/unit/proof/lrat_proof_black.h +++ b/test/unit/proof/lrat_proof_black.h @@ -22,10 +22,11 @@ #include "prop/sat_solver_types.h" #include "utils.h" +using namespace CVC4; using namespace CVC4::proof::lrat; using namespace CVC4::prop; -class LfscProofBlack : public CxxTest::TestSuite +class LratProofBlack : public CxxTest::TestSuite { public: void setUp() override {} @@ -34,7 +35,7 @@ class LfscProofBlack : public CxxTest::TestSuite void testOutputAsLfsc(); }; -void LfscProofBlack::testOutputAsLfsc() +void LratProofBlack::testOutputAsLfsc() { std::vector<std::unique_ptr<LratInstruction>> instructions; |