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/NatTypes.dfy | |
parent | 252dfd009b02014037fb154ff744d7644f0e0ab8 (diff) |
Some additional resolution checks for co stuff.
Beefed up some test cases.
Diffstat (limited to 'Test/dafny0/NatTypes.dfy')
0 files changed, 0 insertions, 0 deletions