path: root/Chalice/tests/regressions/workitem-10198.output.txt

Verification of workitem-10198.chalice using parameters="" 

  12.2: Method might lock/unlock more than allowed.

Boogie program verifier finished with 1 errors and 0 smoke test warnings.