summaryrefslogtreecommitdiff
path: root/BCT/Test
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 /BCT/Test
parent77d3b2f3619972d2867fadee815e6aff8f5454d9 (diff)
Dafny: Added CC translation of postconditions.
Diffstat (limited to 'BCT/Test')
0 files changed, 0 insertions, 0 deletions