diff options
| author | Andrew Reynolds <andrew.j.reynolds@gmail.com> | 2020-02-19 14:19:09 -0600 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-02-19 14:19:09 -0600 |
| commit | be2ee6f3ea202812a9ddecfad3a8eeddfd44db3e (patch) | |
| tree | 4b746daecc5a4ec0e8ecda379771536de276a645 /test/unit | |
| parent | 8fe04676488e7ff4fbe149f98b1ad62f2bdfee1d (diff) | |
Change Record to shared_ptr (#3778)
Diffstat (limited to 'test/unit')
| -rw-r--r-- | test/unit/api/solver_black.h | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/test/unit/api/solver_black.h b/test/unit/api/solver_black.h index e53b989f0..bf992d2d5 100644 --- a/test/unit/api/solver_black.h +++ b/test/unit/api/solver_black.h @@ -247,6 +247,8 @@ void SolverBlack::testMkRecordSort() std::vector<std::pair<std::string, Sort>> empty; TS_ASSERT_THROWS_NOTHING(d_solver->mkRecordSort(fields)); TS_ASSERT_THROWS_NOTHING(d_solver->mkRecordSort(empty)); + Sort recSort = d_solver->mkRecordSort(fields); + TS_ASSERT_THROWS_NOTHING(recSort.getDatatype()); } void SolverBlack::testMkSetSort() |