diff options
| author | ajreynol <andrew.j.reynolds@gmail.com> | 2016-07-16 09:03:11 -0500 |
|---|---|---|
| committer | ajreynol <andrew.j.reynolds@gmail.com> | 2016-07-16 09:03:25 -0500 |
| commit | f70674c2f0c6c1c55e3d7c5fed916fc1e7721ffe (patch) | |
| tree | 4a8cbb3e58d06346ffa00dd83e5c31ad2195c570 /src/options/strings_options | |
| parent | c508e78395491bc5055e77169d39a97b5e6c8a5a (diff) | |
Refactor strings extf evaluation info. Ensure strings eager preprocess eliminates all extf symbols during ppRewrite. Add options stringGuessModel and stringUfReduct. Minor optimizations.
Diffstat (limited to 'src/options/strings_options')
| -rw-r--r-- | src/options/strings_options | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/src/options/strings_options b/src/options/strings_options index 136175d72..27739070d 100644 --- a/src/options/strings_options +++ b/src/options/strings_options @@ -63,6 +63,10 @@ option stringRExplainLemmas strings-rexplain-lemmas --strings-rexplain-lemmas bo regression explanations for string lemmas option stringMinPrefixExplain strings-min-prefix-explain --strings-min-prefix-explain bool :default true minimize explanations for prefix of normal forms in strings +option stringGuessModel strings-guess-model --strings-guess-model bool :default false + use model guessing to avoid string extended function reductions +option stringUfReduct strings-uf-reduct --strings-uf-reduct bool :default false + use uninterpreted functions when applying extended function reductions endmodule |