diff options
| author |  rustanleino <unknown> | 2010-03-09 21:25:46 +0000 |
|---|---|---|
| committer | rustanleino <unknown> | 2010-03-09 21:25:46 +0000 |
| commit | 3b9b25251b40ba7e9003af2a941d92f94122d3cb (patch) | |
| tree | bc13bff453880dd9a82beecf8840098bf3d58a36 /Test/dafny0/Simple.dfy | |
| parent | 3d0b4c9d38a8cecb5e9a7c63ae59eac4bd509166 (diff) | |
Boogie: Added resolution and type checking for attributes on "call" and "call forall". Fixed printing of these attributes to print all attributes.
Diffstat (limited to 'Test/dafny0/Simple.dfy')
0 files changed, 0 insertions, 0 deletions