diff options
| author |  wuestholz <unknown> | 2011-12-07 09:54:01 +0100 |
|---|---|---|
| committer | wuestholz <unknown> | 2011-12-07 09:54:01 +0100 |
| commit | 5c2205250c6f141cf61fdec89929d93b78e8472c (patch) | |
| tree | 96c63703a5e999ea55c8581c1f1416f7ad88ac01 /Source/Core/Absy.cs | |
| parent | e104999ceabc9420a300771b585df7e643312bf3 (diff) | |
Dafny: Forward attributes on Dafny functions to Boogie (e.g., to disable wellformedness checks).
Diffstat (limited to 'Source/Core/Absy.cs')
0 files changed, 0 insertions, 0 deletions