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 /test/regress/regress0/cvc3.userdoc.02.cvc | |
| parent | 3153e2d94d1b12562557d60305bcac52d3128b83 (diff) | |
Adds infrastructure for a rewriting pass in BvInstantiator::processAssertion to remove non-invertible operators. Add regression. (#1222)
Diffstat (limited to 'test/regress/regress0/cvc3.userdoc.02.cvc')
0 files changed, 0 insertions, 0 deletions