diff options
| author |  Aleksandar Milicevic <unknown> | 2011-07-29 20:02:30 -0700 |
|---|---|---|
| committer | Aleksandar Milicevic <unknown> | 2011-07-29 20:02:30 -0700 |
| commit | 837afdf94e5a77f27f0a4e7ab334619216d3f983 (patch) | |
| tree | 3caf3e11b2650bfab57981f187ae47d57dbfef86 /Test/z3api/boog6.bpl | |
| parent | d1dfcbe235ef8f06e0a7c03991b1e085fde9e63e (diff) | |
Jennisys: (1) fixed a bug in "TryInferConditionals"; (2) added synthesized modular code
Diffstat (limited to 'Test/z3api/boog6.bpl')
0 files changed, 0 insertions, 0 deletions