diff options
author | Rustan Leino <leino@microsoft.com> | 2011-11-22 18:33:22 -0800 |
---|---|---|
committer | Rustan Leino <leino@microsoft.com> | 2011-11-22 18:33:22 -0800 |
commit | 6be834e8f71d8f099576df4b9ed237d64866e035 (patch) | |
tree | d723de12f2112ec491aa72adec9b2c47945cf240 /Test/z3api/boog22.bpl | |
parent | 9be82a702255a26e458440e8fdee9be061c8e39e (diff) |
Dafny: call C# compiler directly from inside Dafny, and optionally produce a .cs file with the new /spillTargetCode switch
Diffstat (limited to 'Test/z3api/boog22.bpl')
0 files changed, 0 insertions, 0 deletions