diff options
| author | Clark Barrett <barrett@cs.nyu.edu> | 2012-06-15 03:24:51 +0000 |
|---|---|---|
| committer | Clark Barrett <barrett@cs.nyu.edu> | 2012-06-15 03:24:51 +0000 |
| commit | 43839eed3814cb4175869cd1fbbb4e9a5ece59dc (patch) | |
| tree | 7e21053b228b6d4a1d8c6b9381f5e0a6c1be3b1b /test/regress/regress0/aufbv/Makefile.am | |
| parent | 331c0f5861060f4b6f3f14cf17bd2a15059bb54a (diff) | |
Fix for incompleteness bug with decision engine: repeated simplification
could introduce additional assertions that were not beign processed by the
decision engine. Now these assertions are merged in with pre-ITE-removal
assertions, ensuring the decision engine sees them.
Diffstat (limited to 'test/regress/regress0/aufbv/Makefile.am')
0 files changed, 0 insertions, 0 deletions