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/options/didyoumean.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/options/didyoumean.smt2')
| -rw-r--r-- | test/regress/regress0/options/didyoumean.smt2 | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/test/regress/regress0/options/didyoumean.smt2 b/test/regress/regress0/options/didyoumean.smt2 new file mode 100644 index 000000000..d95c1bde9 --- /dev/null +++ b/test/regress/regress0/options/didyoumean.smt2 @@ -0,0 +1,4 @@ +; COMMAND-LINE: --input-agnuage +; ERROR-SCRUBBER: grep -o "--[a-zA-Z-]+" +; ERROR-EXPECT: --input-language +; EXIT: 1
\ No newline at end of file |