projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: b9c38b2) | patch
Disable --nl-cad option by default (#5350)
authorGereon Kremer <gereon.kremer@cs.rwth-aachen.de>
Tue, 27 Oct 2020 16:16:06 +0000 (17:16 +0100)
committerGitHub <noreply@github.com>
Tue, 27 Oct 2020 16:16:06 +0000 (17:16 +0100)
commita8dd649cc52d0870d2c62070c17a88373f681e1e
tree9a8cc6448a2571c536c990e082e19a63832926datree
parentb9c38b2a878841a1288b1e2279b1ecb74727eeabcommit | diff
Disable --nl-cad option by default (#5350)

This PR disables the `--nl-cad` option by default. It was erroneously enabled with #5345 but leads to errors on, e.g., QF_NIA. Enabling for QF_NRA is done in set_defaults.
src/options/arith_options.toml diff | blob | history
src/smt/set_defaults.cpp diff | blob | history