diff options
| author | Evan Cheng <evan.cheng@apple.com> | 2009-06-26 06:10:18 +0000 |
|---|---|---|
| committer | Evan Cheng <evan.cheng@apple.com> | 2009-06-26 06:10:18 +0000 |
| commit | 831e7356af6845394239f1ffdc730d9d53f11778 (patch) | |
| tree | 3d7e4d7f2ceb6c1d93dc2caf5465103596d5ef62 /klee/test | |
| parent | fd545444fd2b38e6c03bab2bae1a85a60b415ecc (diff) | |
Simplify predicate CarryDefIsUsed.
Diffstat (limited to 'klee/test')
0 files changed, 0 insertions, 0 deletions