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/vacid0 | |
| parent | b4fa8bffd5db8bc5a68faf8f3b1f3587ce813f23 (diff) | |
Dafny: Added CC translation of postconditions.
Diffstat (limited to 'Test/vacid0')
0 files changed, 0 insertions, 0 deletions