From: Kshitij Bansal <kshitij@cs.nyu.edu>
Date: Tue, 7 Oct 2014 23:16:55 +0000 (-0400)
Subject: update default Sets options
X-Git-Tag: cvc5-1.0.0~6579
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=f3a1c9f4a2d233cd0a3904749d0a5499f7f2c9d9;p=cvc5.git

update default Sets options
---

diff --git a/src/theory/sets/options b/src/theory/sets/options
index ac040881a..6f4b5129d 100644
--- a/src/theory/sets/options
+++ b/src/theory/sets/options
@@ -11,10 +11,10 @@ option setsPropagate --sets-propagate bool :default true
 option setsEagerLemmas --sets-eager-lemmas bool :default true
  add lemmas even at regular effort
 
-option setsCare1 --sets-care1 bool :default false
+expert-option setsCare1 --sets-care1 bool :default false
  generate one lemma at a time for care graph
 
-option setsPropFull --sets-prop-full bool :default false
- agressive propagation
+option setsPropFull --sets-prop-full bool :default true
+ additional propagation at full effort
 
 endmodule