diff options
| author | Clark Barrett <barrett@cs.nyu.edu> | 2012-06-12 20:35:07 +0000 |
|---|---|---|
| committer | Clark Barrett <barrett@cs.nyu.edu> | 2012-06-12 20:35:07 +0000 |
| commit | 43a09137c2abd4902ce622afa445a9cb59e2352d (patch) | |
| tree | 3086a6af95a29af036a7b28a08fb3fd56d60a051 /test/regress/regress0/bv/fuzz38.delta01.smt | |
| parent | e31f8ec3eeacff9b7818287eaa9b58ebc9cd3958 (diff) | |
Moved some things around in the preprocessor. Now theory preprocessing gets
called before ite simplification unless arithrewriteequality is on
Diffstat (limited to 'test/regress/regress0/bv/fuzz38.delta01.smt')
0 files changed, 0 insertions, 0 deletions