diff options
| author |  Jason Koenig <unknown> | 2012-07-12 16:35:06 -0700 |
|---|---|---|
| committer | Jason Koenig <unknown> | 2012-07-12 16:35:06 -0700 |
| commit | 1d494bc31f86c0f7cdf14f405c9036672652238f (patch) | |
| tree | bae5b8b06b46bf95c8c6fbbf99003c9ecf49b8e3 /Test | |
| parent | 078422b1ba4a68806ee8ae64a90de57657d62648 (diff) | |
Dafny: check that resolution successfully resolved all types, where appropriate.
Diffstat (limited to 'Test')
0 files changed, 0 insertions, 0 deletions