From: Andrew Reynolds <andrew.j.reynolds@gmail.com>
Date: Tue, 4 Dec 2018 19:52:17 +0000 (-0600)
Subject: Enable regular expression elimination by default. (#2736)
X-Git-Tag: cvc5-1.0.0~4337
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=cf7a6431e7fdcbb30704343f57411154464e0c30;p=cvc5.git

Enable regular expression elimination by default. (#2736)

Seems to have no impact on Norn, and is helpful for a number of applications.
---

diff --git a/src/options/strings_options.toml b/src/options/strings_options.toml
index 77056e279..3544c37fe 100644
--- 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]]