diff options
| author |  Jason Koenig <unknown> | 2011-07-06 14:10:11 -0700 |
|---|---|---|
| committer | Jason Koenig <unknown> | 2011-07-06 14:10:11 -0700 |
| commit | 98b0ebe1adba86bbf8452bcb036f01c884b69b90 (patch) | |
| tree | d0636bc39de34e2adaccc33a7671226b85bc50a1 /Test/VSI-Benchmarks/b2.dfy | |
| parent | 1a2271a8bc81a8ff96b033c3911cb80db6832dc1 (diff) | |
Dafny: Fixed bug in call statements where mutability of out parameters was not checked.
Added regression test.
Diffstat (limited to 'Test/VSI-Benchmarks/b2.dfy')
0 files changed, 0 insertions, 0 deletions