projects / cvc5.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | patch | inline | side by side (parent: 9e26baa)
Disable relational triggers (#2994)
authorAndrew Reynolds <andrew.j.reynolds@gmail.com>
Fri, 10 May 2019 15:51:24 +0000 (10:51 -0500)
committerGitHub <noreply@github.com>
Fri, 10 May 2019 15:51:24 +0000 (10:51 -0500)
src/options/quantifiers_options.toml patch | blob | history

diff --git a/src/options/quantifiers_options.toml b/src/options/quantifiers_options.toml
index 66bd265d8952370b1bbe48d3632954b8d296a592..0a69178b3be6cdebdc7a61e6a23a92d5188ee7f7 100644 (file)
--- a/src/options/quantifiers_options.toml
+++ b/src/options/quantifiers_options.toml
@@ -247,7 +247,7 @@ header = "options/quantifiers_options.h"
   category   = "regular"
   long       = "relational-triggers"
   type       = "bool"
-  default    = "true"
+  default    = "false"
   read_only  = true
   help       = "choose relational triggers such as x = f(y), x >= f(y)"