diff options
| author |  Jason Koenig <unknown> | 2012-07-12 17:31:18 -0700 |
|---|---|---|
| committer | Jason Koenig <unknown> | 2012-07-12 17:31:18 -0700 |
| commit | 2ee898b3b9c55b8347182562b8b0a92aeda223e1 (patch) | |
| tree | 000344514d4d5fa8ed92e7833da24d1d2ced4c60 /Test/vacid0/SparseArray.dfy | |
| parent | 1d494bc31f86c0f7cdf14f405c9036672652238f (diff) | |
Dafny: labeled (and unlabled) block statements are now matched during refinement.
Diffstat (limited to 'Test/vacid0/SparseArray.dfy')
0 files changed, 0 insertions, 0 deletions