diff options
| author | makaimann <makaim@stanford.edu> | 2019-12-02 16:53:27 -0800 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2019-12-02 16:53:27 -0800 |
| commit | 274aa297537a7cbf268c8f8b73f671498e372fe0 (patch) | |
| tree | 3a48508324c1573fe03ebb2fdf25e201c6308604 | |
| parent | 6bff71eab6102c1dd44698e75a0e1b0db72c2f65 (diff) | |
Minor refactor: rename opterm_black to op_black (#3521)
| -rw-r--r-- | test/unit/api/CMakeLists.txt | 2 | ||||
| -rw-r--r-- | test/unit/api/op_black.h (renamed from test/unit/api/opterm_black.h) | 6 |
2 files changed, 4 insertions, 4 deletions
diff --git a/test/unit/api/CMakeLists.txt b/test/unit/api/CMakeLists.txt index ca3c59750..7566c432d 100644 --- a/test/unit/api/CMakeLists.txt +++ b/test/unit/api/CMakeLists.txt @@ -2,7 +2,7 @@ # Add unit tests cvc4_add_unit_test_black(datatype_api_black api) -cvc4_add_unit_test_black(opterm_black api) +cvc4_add_unit_test_black(op_black api) cvc4_add_unit_test_black(solver_black api) cvc4_add_unit_test_black(sort_black api) cvc4_add_unit_test_black(term_black api) diff --git a/test/unit/api/opterm_black.h b/test/unit/api/op_black.h index 0dd7587ff..3bf9b93c3 100644 --- a/test/unit/api/opterm_black.h +++ b/test/unit/api/op_black.h @@ -1,5 +1,5 @@ /********************* */ -/*! \file opterm_black.h +/*! \file op_black.h ** \verbatim ** Top contributors (to current version): ** Aina Niemetz @@ -27,7 +27,7 @@ class OpBlack : public CxxTest::TestSuite void testGetKind(); void testGetSort(); void testIsNull(); - void testOpTermFromKind(); + void testOpFromKind(); void testGetIndicesString(); void testGetIndicesKind(); void testGetIndicesUint(); @@ -61,7 +61,7 @@ void OpBlack::testIsNull() TS_ASSERT(!x.isNull()); } -void OpBlack::testOpTermFromKind() +void OpBlack::testOpFromKind() { Op plus(PLUS); TS_ASSERT(!plus.isIndexed()); |