diff options
author | Morgan Deters <mdeters@cs.nyu.edu> | 2013-03-15 13:30:05 -0400 |
---|---|---|
committer | Morgan Deters <mdeters@cs.nyu.edu> | 2013-03-15 13:30:05 -0400 |
commit | 5617905a03c6810978cc66a18a370f5a95b7c5b4 (patch) | |
tree | be7056c33d500449d59e6de585fd93b5db860311 /test/regress/regress0/arith | |
parent | a485a56258bdac2cdb2214dbcae5268b11f1d95b (diff) |
Boolean terms rewriting for quantified variables of type Bool, when quantifier body uses them in term context
Diffstat (limited to 'test/regress/regress0/arith')
0 files changed, 0 insertions, 0 deletions