diff options
| author |  MichalMoskal <unknown> | 2010-08-18 00:54:22 +0000 |
|---|---|---|
| committer | MichalMoskal <unknown> | 2010-08-18 00:54:22 +0000 |
| commit | 024e1669cac41a45ba0d825035a25d32a1562a67 (patch) | |
| tree | 09df808ad88aa3977b4997f2b8ef4323e167d365 /Test/test2 | |
| parent | a54af4e97ccf24b7bd8802d7411b67bc2b4c5e55 (diff) | |
Fix stack overflow introduced in my previous checkin. Make /typeEncoding:m use separate Z3 type per Boogie type
Diffstat (limited to 'Test/test2')
0 files changed, 0 insertions, 0 deletions