diff options
| author |  Rustan Leino <leino@microsoft.com> | 2012-05-01 15:44:36 -0700 |
|---|---|---|
| committer | Rustan Leino <leino@microsoft.com> | 2012-05-01 15:44:36 -0700 |
| commit | 1096701ea6ac332655167e3e849a0df6a7de7b97 (patch) | |
| tree | 602cb074b07d167798cbfe0315b92047ee428958 /Test/dafny1/runtest.bat | |
| parent | 9266a3c8da8825816bfd2b31aca9cec8aae0c455 (diff) | |
Dafny: print inductive datatypes
Diffstat (limited to 'Test/dafny1/runtest.bat')
0 files changed, 0 insertions, 0 deletions