diff options
| author |  Rustan Leino <leino@microsoft.com> | 2012-01-05 18:01:38 -0800 |
|---|---|---|
| committer | Rustan Leino <leino@microsoft.com> | 2012-01-05 18:01:38 -0800 |
| commit | 7cd74a6c41a90023ba1c33fa00b2a140fc4c935d (patch) | |
| tree | 1dc9afa48ce46342c193d4c8f57fd80e9e2bf2d8 /Test/test15/ModelTest.bpl | |
| parent | f0d4dfe6f1525d9d345bddef1be5d48c3f63720b (diff) | |
Dafny: fully qualify (with module names) names of types in the translation into Boogie
Dafny: started cloning of refined classes
Dafny: added /rprint switch to print the (syntax of the) resolved Dafny program
Diffstat (limited to 'Test/test15/ModelTest.bpl')
0 files changed, 0 insertions, 0 deletions