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 | |
| 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')
0 files changed, 0 insertions, 0 deletions