diff options
author | chmaria <unknown> | 2012-06-18 04:57:09 +0200 |
---|---|---|
committer | chmaria <unknown> | 2012-06-18 04:57:09 +0200 |
commit | c0f50ec423987b670181d13a416c1bffd279556a (patch) | |
tree | db8c787b0014b25894f62432edd9e06eaac2bf67 /BCT/Test | |
parent | 77d3b2f3619972d2867fadee815e6aff8f5454d9 (diff) |
Dafny: Added CC translation of postconditions.
Diffstat (limited to 'BCT/Test')
0 files changed, 0 insertions, 0 deletions