diff options
| author |  Rustan Leino <leino@microsoft.com> | 2011-06-01 10:11:59 -0700 |
|---|---|---|
| committer | Rustan Leino <leino@microsoft.com> | 2011-06-01 10:11:59 -0700 |
| commit | 15fbe91aaf4a29f310f613ee53eb2058ba18dfef (patch) | |
| tree | f7bd60b8410a3ca3c6e1bfad26df63362d5caf39 /BCT/BytecodeTranslator/TranslationException.cs | |
| parent | aaff53080fb15b89134ab81880d89af31d16896e (diff) | |
Dafny: fixed soundness problem with HeapSucc axiom
Diffstat (limited to 'BCT/BytecodeTranslator/TranslationException.cs')
0 files changed, 0 insertions, 0 deletions