diff options
author | 2011-06-30 15:24:13 -0700 | |
---|---|---|
committer | 2011-06-30 15:24:13 -0700 | |
commit | b96a31295e5eb0d155cce20cb1d4cb487ecf7fb5 (patch) | |
tree | f81cc4632250a1b2860a25056d85d8eb7a74aa7b /BCT/BytecodeTranslator/Heap.cs | |
parent | 0262f74208b26a7f1cd089274d00b3440731c45d (diff) |
Added option to force Dafny compilation, even if verification fails.
Diffstat (limited to 'BCT/BytecodeTranslator/Heap.cs')
0 files changed, 0 insertions, 0 deletions