diff options
| author | Andrew Reynolds <andrew.j.reynolds@gmail.com> | 2021-08-02 20:21:04 -0500 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-08-03 01:21:04 +0000 |
| commit | 6b55bf59675fcdaab4c8dbf70a8a74ebb1f990e9 (patch) | |
| tree | 5a3b4b8dff3f72acff78988ef7dd8def6597038b /test/unit/test_smt.h | |
| parent | 9547af1fb7fa26d6a3299ede363fc2faaae85908 (diff) | |
Remove "inUnsatCore" flag throughout (#6964)
The internal solver no longer cares about what assertions are named / are in the unsat core.
This simplifies the code so that the (now unused) `inUnsatCore` flag is removed from all interfaces.
This eliminates another external use of `getSmtEngine`.
Diffstat (limited to 'test/unit/test_smt.h')
0 files changed, 0 insertions, 0 deletions