diff options
| author |  Rustan Leino <leino@microsoft.com> | 2012-09-09 17:02:56 -0700 |
|---|---|---|
| committer | Rustan Leino <leino@microsoft.com> | 2012-09-09 17:02:56 -0700 |
| commit | e28099bdd09a8fc66b40720a13e1e5c6ce4cd9ca (patch) | |
| tree | 2192c3873b804c4ac32a5049af7e2836038b2a80 /Binaries/UnivBackPred2.smt2 | |
| parent | 93ccb324dc2b90c3e487edb5b9640a21ef358806 (diff) | |
DafnyExtension: addressed a class initialization order problem
Diffstat (limited to 'Binaries/UnivBackPred2.smt2')
0 files changed, 0 insertions, 0 deletions