diff options
Diffstat (limited to 'src/options')
-rw-r--r-- | src/options/quantifiers_options | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/options/quantifiers_options b/src/options/quantifiers_options index 4a7a9e8a7..f997a8923 100644 --- a/src/options/quantifiers_options +++ b/src/options/quantifiers_options @@ -272,8 +272,8 @@ option sygusMinGrammarAgg --sygus-min-grammar-agg bool :default false aggressively minimize sygus grammars option sygusAddConstGrammar --sygus-add-const-grammar bool :default true statically add constants appearing in conjecture to grammars -option sygusNormalizeGrammar --sygus-norm-grammar bool :default false - statically normalize sygus grammars based on flattening +option sygusGrammarNorm --sygus-grammar-norm bool :default false + statically normalize sygus grammars based on flattening (linearization) option sygusTemplEmbedGrammar --sygus-templ-embed-grammar bool :default false embed sygus templates into grammars |