diff options
| author | Gereon Kremer <gkremer@stanford.edu> | 2021-12-01 16:30:09 -0800 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-12-02 00:30:09 +0000 |
| commit | 6afc21a16e740d4fb4a16cdbd9a6ff745c7ce00c (patch) | |
| tree | 5b9695d8b677b11c019cd644f787ed3a6c98cc2a /test/regress/regress0/bug168.smtv1.smt2 | |
| parent | 1339d73750e15422a5c2085c4819c15b77bededd (diff) | |
Add unit tests for api::Solver::setOption() (#7708)
This PR adds a generic unit test for api::Solver::setOption(). It iterates over all options and calls setOption() with somewhat cleverly chosen values according to getOptionInfo().
While building this, it occurred to me that calling std::exit() in an option handler is weird (for example for version) and we should do this in the driver instead. This PR also refactors this issue, moving all calls to std::exit() from the option handlers into the driver.
Diffstat (limited to 'test/regress/regress0/bug168.smtv1.smt2')
0 files changed, 0 insertions, 0 deletions