diff options
| author |  Jason Koenig <unknown> | 2012-07-29 12:24:02 -0700 |
|---|---|---|
| committer | Jason Koenig <unknown> | 2012-07-29 12:24:02 -0700 |
| commit | 9fbbc4b4d36f34402dbc8870f0885b5e750c4880 (patch) | |
| tree | 0b53a7a1a0dfb9fbf524eded44cbce9d9c877798 /Test/test21/EmptyList.bpl | |
| parent | 91e6f9840b77de3f56a50505a72d39672bf74f94 (diff) | |
Dafny: added structural refinement check
Diffstat (limited to 'Test/test21/EmptyList.bpl')
0 files changed, 0 insertions, 0 deletions