diff options
author | Andres Noetzli <andres.noetzli@gmail.com> | 2018-07-02 17:45:04 -0700 |
---|---|---|
committer | GitHub <noreply@github.com> | 2018-07-02 17:45:04 -0700 |
commit | be58c8ead1d36ab3625faf848b2ebdce8d5de8a9 (patch) | |
tree | c35ba7d793543ee88cdcc23ca0a892afc758eb26 /src/theory | |
parent | be08eae24750b006d8a4b1e27e0e242553f64735 (diff) |
Add regression test for issue #1986 (#2114)
The issue is not triggered anymore after PR #2059 but the test case is
good to have for changes in MiniSat code.
Diffstat (limited to 'src/theory')
0 files changed, 0 insertions, 0 deletions