diff options
| author | Gereon Kremer <gereon.kremer@cs.rwth-aachen.de> | 2020-12-02 06:22:56 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-12-01 23:22:56 -0600 |
| commit | 901cea314c4dc3be411c345e42c858063fe5aa1b (patch) | |
| tree | 413b99fb49ef53f2394fe6cf89e0d618f49eac08 /src/smt/smt_engine.cpp | |
| parent | 558efa2593fda09235c5f2163836771680d3442a (diff) | |
Add regressions from #3687. (#5553)
The error from #3687 has been fixed in the meantime.
This PR adds the two examples from this issue as regressions.
Closes #3687
Diffstat (limited to 'src/smt/smt_engine.cpp')
0 files changed, 0 insertions, 0 deletions