projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: c405f16) | patch
Make --version exit (#7506)
authorGereon Kremer <nafur42@gmail.com>
Wed, 27 Oct 2021 06:12:00 +0000 (23:12 -0700)
committerGitHub <noreply@github.com>
Wed, 27 Oct 2021 06:12:00 +0000 (06:12 +0000)
commit2f025e4e3ab78796b10e603f79b3a95aa9e1662a
treed10b0bc86979ad09898b7686bad4a4ce0bcf4522tree
parentc405f169925f5c9b5bf17d668872f37ce878eb68commit | diff
Make --version exit (#7506)

This PR adds the missing handler declaration for the --version option.
Fixes #7505.
src/options/main_options.toml diff | blob | history
test/regress/CMakeLists.txt diff | blob | history
test/regress/regress0/options/version.smt2 [new file with mode: 0644] blob