Add regression test for issue #1986 (#2114)
authorAndres Noetzli <andres.noetzli@gmail.com>
Tue, 3 Jul 2018 00:45:04 +0000 (17:45 -0700)
committerGitHub <noreply@github.com>
Tue, 3 Jul 2018 00:45:04 +0000 (17:45 -0700)
commitbe58c8ead1d36ab3625faf848b2ebdce8d5de8a9
treec35ba7d793543ee88cdcc23ca0a892afc758eb26
parentbe08eae24750b006d8a4b1e27e0e242553f64735
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.
test/regress/Makefile.tests
test/regress/regress0/push-pop/issue1986.smt2 [new file with mode: 0644]