diff options
| author |  rustanleino <unknown> | 2009-09-27 23:11:12 +0000 |
|---|---|---|
| committer | rustanleino <unknown> | 2009-09-27 23:11:12 +0000 |
| commit | 84121f913cd1e4f78847bb246c2a83ac116a1a1b (patch) | |
| tree | 4e2b02bef38ed0b879b223a4761c423255fd323d /Test/bitvectors/runtest.bat | |
| parent | 62a881760f8db7256343500ebafda8c72f0ca927 (diff) | |
Use type-erased result type to make decision about whether or not to include antecedent in select-of-store axioms (fixing an error in my previous check-in).
Diffstat (limited to 'Test/bitvectors/runtest.bat')
0 files changed, 0 insertions, 0 deletions