summaryrefslogtreecommitdiff
path: root/Test/dafny1
diff options
context:
space:
mode:
authorGravatar rustanleino <unknown>2010-06-08 18:33:57 +0000
committerGravatar rustanleino <unknown>2010-06-08 18:33:57 +0000
commit5696ff18488fac981db0310fc92f7d8fd1a8dfae (patch)
treec2c2f3db8fe91de0d5d41a6aa23902e7c070884a /Test/dafny1
parent24ceefe6fac22e6361b1dc73b4bc878b1ba9aad5 (diff)
Dafny: For functions with an empty decreases clause that use the reads clause instead, do not include wildcards.
Diffstat (limited to 'Test/dafny1')
0 files changed, 0 insertions, 0 deletions