Chalice/tests/examples/UnboundedThreads.output.txt


1
2
3
4
5

Verification of UnboundedThreads.chalice using parameters="" 

  40.17: The loop invariant at 40.17 might not be preserved by the loop. Insufficient epsilons at 40.27  for C.f.

Boogie program verifier finished with 6 verified, 1 error