Verification of PetersonsAlgorithm.chalice using parameters="" 


  23.5: The statements after the while-loop are unreachable.
  34.5: The statements after the while-loop are unreachable.
  59.5: The statements after the while-loop are unreachable.

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