projects / cvc5.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | patch | inline | side by side (parent: 854c414)
Enable regular expression elimination by default. (#2736)
authorAndrew Reynolds <andrew.j.reynolds@gmail.com>
Tue, 4 Dec 2018 19:52:17 +0000 (13:52 -0600)
committerAndres Noetzli <andres.noetzli@gmail.com>
Tue, 4 Dec 2018 19:52:17 +0000 (11:52 -0800)
Seems to have no impact on Norn, and is helpful for a number of applications.

src/options/strings_options.toml patch | blob | history

diff --git a/src/options/strings_options.toml b/src/options/strings_options.toml
index 77056e27937e5d2f165c3fc921eb23a86408b1b1..3544c37fe4c471162a488b657032f6fd1d4f7078 100644 (file)
--- a/src/options/strings_options.toml
+++ b/src/options/strings_options.toml
@@ -205,7 +205,7 @@ header = "options/strings_options.h"
   category   = "regular"
   long       = "re-elim"
   type       = "bool"
-  default    = "false"
+  default    = "true"
   help       = "elimination techniques for regular expressions"
 
 [[option]]