diff options
| author |  Unknown <leino@LEINO6.redmond.corp.microsoft.com> | 2013-01-18 17:54:04 -0800 |
|---|---|---|
| committer | Unknown <leino@LEINO6.redmond.corp.microsoft.com> | 2013-01-18 17:54:04 -0800 |
| commit | 472f3de939e7b5d652a0d7b478a3edc1fec17a99 (patch) | |
| tree | 5571c083bac606b31ba5f628ba88bb7543c5057c /Test/dafny0/Modules0.dfy | |
| parent | 252dfd009b02014037fb154ff744d7644f0e0ab8 (diff) | |
Some additional resolution checks for co stuff.
Beefed up some test cases.
Diffstat (limited to 'Test/dafny0/Modules0.dfy')
0 files changed, 0 insertions, 0 deletions