diff options
author | Gereon Kremer <nafur42@gmail.com> | 2021-10-26 23:12:00 -0700 |
---|---|---|
committer | GitHub <noreply@github.com> | 2021-10-27 06:12:00 +0000 |
commit | 2f025e4e3ab78796b10e603f79b3a95aa9e1662a (patch) | |
tree | d10b0bc86979ad09898b7686bad4a4ce0bcf4522 /test | |
parent | c405f169925f5c9b5bf17d668872f37ce878eb68 (diff) |
Make --version exit (#7506)
This PR adds the missing handler declaration for the --version option.
Fixes #7505.
Diffstat (limited to 'test')
-rw-r--r-- | test/regress/CMakeLists.txt | 1 | ||||
-rw-r--r-- | test/regress/regress0/options/version.smt2 | 3 |
2 files changed, 4 insertions, 0 deletions
diff --git a/test/regress/CMakeLists.txt b/test/regress/CMakeLists.txt index 1379c7066..24bb43244 100644 --- a/test/regress/CMakeLists.txt +++ b/test/regress/CMakeLists.txt @@ -775,6 +775,7 @@ set(regress_0_tests regress0/options/set-and-get-options.smt2 regress0/options/statistics.smt2 regress0/options/stream-printing.smt2 + regress0/options/version.smt2 regress0/parallel-let.smt2 regress0/parser/as.smt2 regress0/parser/bv_arity_smt2.6.smt2 diff --git a/test/regress/regress0/options/version.smt2 b/test/regress/regress0/options/version.smt2 new file mode 100644 index 000000000..755b6ccca --- /dev/null +++ b/test/regress/regress0/options/version.smt2 @@ -0,0 +1,3 @@ +; COMMAND-LINE: --version +; EXPECT: This is cvc5 version +; SCRUBBER: grep -o "This is cvc5 version"
\ No newline at end of file |