diff options
author | Andres Noetzli <andres.noetzli@gmail.com> | 2019-01-14 16:52:09 -0800 |
---|---|---|
committer | Andres Noetzli <andres.noetzli@gmail.com> | 2019-01-14 16:52:09 -0800 |
commit | 8d9c190ccf806460bfc336daee33ed56f151e563 (patch) | |
tree | ad41ef9a85c9fe7764562346b9d7c51580ec4cc8 /test/unit/api/term_black.h | |
parent | 23374b9d7fe9363165c99fbbddfd7591302a3431 (diff) |
Strings: Add option to change loop process mode
This commit adds an option `--strings-process-loop-mode` that allows
finer-grained control over CVC4 processes looping word equation. In
particular, performing normal loop breaking sometimes leads to worse
performance. The "simple" mode disables that inference.
Diffstat (limited to 'test/unit/api/term_black.h')
0 files changed, 0 insertions, 0 deletions