diff options
| author |  Rustan Leino <leino@microsoft.com> | 2013-06-29 12:40:57 -0700 |
|---|---|---|
| committer | Rustan Leino <leino@microsoft.com> | 2013-06-29 12:40:57 -0700 |
| commit | 72799f600cc520253f0fc26a0327466bbaa28903 (patch) | |
| tree | 5580bddeaeb4ffeb1b049b32ad436e03ba454ac1 /Test/VSI-Benchmarks | |
| parent | 141863d4677fc7bd7b2c6891d6f354b7d9237036 (diff) | |
Fixed soundness bug with co-recursive calls: co-recursive calls may now no longer to to functions with ensures clauses
Diffstat (limited to 'Test/VSI-Benchmarks')
0 files changed, 0 insertions, 0 deletions