diff options
author | Andrew Reynolds <andrew.j.reynolds@gmail.com> | 2020-12-21 08:53:41 -0600 |
---|---|---|
committer | GitHub <noreply@github.com> | 2020-12-21 08:53:41 -0600 |
commit | e32908362d75acad3cce28cf725eb781d1556e6f (patch) | |
tree | 0124387fe79f59798180b7a440959e18e70adf1e /src/theory/combination_engine.cpp | |
parent | 134ce1704c4f2467a0c5eeef2127afd140d44cc4 (diff) |
Eliminate recursion from the internals of term formula removal (#5701)
This makes all recursion (applying term formula removal on lemmas introduced by term formula removal) optionally happen at the top level call.
This is in preparation for making term formula removal lazier, in which case we will only apply one step of term formula removal at a time.
One QF_UFNIA regression times out due to changing the search, an option is changed for this benchmark.
Diffstat (limited to 'src/theory/combination_engine.cpp')
0 files changed, 0 insertions, 0 deletions