summaryrefslogtreecommitdiff
path: root/Source/Dafny
diff options
context:
space:
mode:
authorGravatar Rustan Leino <unknown>2013-06-20 16:10:48 -0700
committerGravatar Rustan Leino <unknown>2013-06-20 16:10:48 -0700
commitf75149436835b10ebba203a7a72ba52e723be03b (patch)
tree3dfb7e183b47edfad800866b7b8d64fada37274a /Source/Dafny
parentcbb62c37bcfe5fa6d3b41f30d7a2c4ee711fc036 (diff)
One more test case for the "datatype constructor cases" axiom, namely the example given in Issue 18 on dafny.codeplex.com (which was fixed in the previous check-in).
Diffstat (limited to 'Source/Dafny')
0 files changed, 0 insertions, 0 deletions