diff options
| author |  rustanleino <unknown> | 2010-06-08 18:33:57 +0000 |
|---|---|---|
| committer | rustanleino <unknown> | 2010-06-08 18:33:57 +0000 |
| commit | 5696ff18488fac981db0310fc92f7d8fd1a8dfae (patch) | |
| tree | c2c2f3db8fe91de0d5d41a6aa23902e7c070884a /Test/dafny1/Celebrity.dfy | |
| parent | 24ceefe6fac22e6361b1dc73b4bc878b1ba9aad5 (diff) | |
Dafny: For functions with an empty decreases clause that use the reads clause instead, do not include wildcards.
Diffstat (limited to 'Test/dafny1/Celebrity.dfy')
0 files changed, 0 insertions, 0 deletions