diff options
author | Andrew Reynolds <andrew.j.reynolds@gmail.com> | 2017-10-11 08:51:05 -0500 |
---|---|---|
committer | GitHub <noreply@github.com> | 2017-10-11 08:51:05 -0500 |
commit | 0f34a6307e4bb7ec01574a8f9e813bd5fc92a30a (patch) | |
tree | 22d38d5b811334ffab5a7c182864e8018d6e3f26 /src/smt/term_formula_removal.cpp | |
parent | 3153e2d94d1b12562557d60305bcac52d3128b83 (diff) |
Adds infrastructure for a rewriting pass in BvInstantiator::processAssertion to remove non-invertible operators. Add regression. (#1222)
Diffstat (limited to 'src/smt/term_formula_removal.cpp')
0 files changed, 0 insertions, 0 deletions