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