diff options
| author |  leino <unknown> | 2014-08-24 02:33:57 -0700 |
|---|---|---|
| committer | leino <unknown> | 2014-08-24 02:33:57 -0700 |
| commit | cac7e98ce4414b684a53c2581602d086a3e2eea9 (patch) | |
| tree | bf5084701d79aca4619bbb4c5ea09fa3f3299fff /Test/dafny0/Reads.dfy.expect | |
| parent | 6e8c5d61cee5aa6ef56d8b711055541a80162d60 (diff) | |
Cycle detection among newtypes. Start of well-formedness check for newtypes.
Diffstat (limited to 'Test/dafny0/Reads.dfy.expect')
0 files changed, 0 insertions, 0 deletions