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 | 9b2f16539464c877be087b395ffee94dc6b74e17 (patch) | |
| tree | d1c73a45edd99597e11b05c7b637153cc63c3198 /Test/stratifiedinline/runtest.bat | |
| parent | e956452c717924a6a945fd57229cfce1d16e686f (diff) | |
Dafny: print inductive datatypes
Diffstat (limited to 'Test/stratifiedinline/runtest.bat')
0 files changed, 0 insertions, 0 deletions