summaryrefslogtreecommitdiff
path: root/Test/generalizedarray
diff options
context:
space:
mode:
authorGravatar chmaria <unknown>2012-06-18 04:57:09 +0200
committerGravatar chmaria <unknown>2012-06-18 04:57:09 +0200
commitc0f50ec423987b670181d13a416c1bffd279556a (patch)
treedb8c787b0014b25894f62432edd9e06eaac2bf67 /Test/generalizedarray
parent77d3b2f3619972d2867fadee815e6aff8f5454d9 (diff)
Dafny: Added CC translation of postconditions.
Diffstat (limited to 'Test/generalizedarray')
0 files changed, 0 insertions, 0 deletions