isolate-assertions.dfy.expect

Verified 0/2 symbols. Waiting for Foo to verify.
Verification part 1/3 of Foo, on line 5, verified successfully, redacted and consuming 8.7E+002 resources
Verification part 2/3 of Foo, on line 6, verified successfully, redacted and consuming 3.1E+003 resources
Verification part 3/3 of Foo, on line 7, verified successfully, redacted and consuming 2.8E+003 resources
Verified 1/2 symbols. Waiting for Bar to verify.
Verification part 1/1 of Bar, on line 10, verified successfully, redacted and consuming 3.1E+003 resources

Dafny program verifier finished with 4 verified, 0 errors