diff options
author | 2011-07-05 15:43:19 +0200 | |
---|---|---|
committer | 2011-07-05 15:43:19 +0200 | |
commit | d786b753f39294f4e2d5f57d16c69bb450abc799 (patch) | |
tree | 622494df73ab7f2ca872b948791f89fed2b856ab /Chalice/tests | |
parent | c57c5cf1a3e200ce59d01fcc7b9764074e4d8ebb (diff) |
Chalice: fix workitem 8236 (lockchange on return values causes invalid Boogie code).
Diffstat (limited to 'Chalice/tests')
0 files changed, 0 insertions, 0 deletions