diff options
| author |  Rustan Leino <leino@microsoft.com> | 2011-08-03 05:05:45 -0700 |
|---|---|---|
| committer | Rustan Leino <leino@microsoft.com> | 2011-08-03 05:05:45 -0700 |
| commit | c52a162200ed964b332433055d145ec9cb2eadc7 (patch) | |
| tree | af5eec53544205865bf2ae65ffb2617500f959ef /Test/dafny0/runtest.bat | |
| parent | fb76504a943c1fa76c7aceec9dc81de4c35f08c8 (diff) | |
Dafny: fix resolution crash (using multi-dimensional arrays in loop alternative)
Diffstat (limited to 'Test/dafny0/runtest.bat')
0 files changed, 0 insertions, 0 deletions