projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 0a5763e) | patch
Disable option regression for competition build (#7751)
authorGereon Kremer <gkremer@stanford.edu>
Mon, 6 Dec 2021 20:30:53 +0000 (12:30 -0800)
committerGitHub <noreply@github.com>
Mon, 6 Dec 2021 20:30:53 +0000 (20:30 +0000)
commit59b197e0b23f9d0b18c59b016cc8db921f736f55
tree03b27d668a4cb8b7ad889dc078f1a8a9356e7563tree
parent0a5763ef49f7981a7a990a08bc0ce4f0a8ff36b1commit | diff
Disable option regression for competition build (#7751)

This disables a regression that checks the didyoumean output for an invalid output on competition builds. On competition builds, we simply print "unknown" instead of shown any exceptions.
test/regress/regress0/options/didyoumean.smt2 diff | blob | history