diff options
author | Rustan Leino <leino@microsoft.com> | 2011-12-19 15:35:32 -0800 |
---|---|---|
committer | Rustan Leino <leino@microsoft.com> | 2011-12-19 15:35:32 -0800 |
commit | 4e73a3397844fa7802854fd059a32b0c33c46de7 (patch) | |
tree | 399eaedc8e1f1fc9d4e5ce4b6bacd0c85c22b808 /Jennisys.sln | |
parent | a0ab18fd4acd127715d273cf8ab163a4086fe359 (diff) |
Dafny: for a datatype with just one constructor, don't check (but do assume) that destructors are applied only to those values constructed by that one-and-only constructor
Diffstat (limited to 'Jennisys.sln')
0 files changed, 0 insertions, 0 deletions