# Reading from git-issue143.transcript

Verifying B.Bar (correctness) ...
  [1 proof obligation]  error
Cache.dfy(9,21): Error: assertion might not hold
Verification completed successfully!
[SUCCESS] [[DAFNY-SERVER: EOM]]

Verifying B.Bar (correctness) ...
  [1 proof obligation]  verified
Verification completed successfully!
[SUCCESS] [[DAFNY-SERVER: EOM]]
