filter.dfy(1,0): Warning: File contains no code

Dafny program verifier finished with 0 verified, 0 errors
source1.dfy(6,16): Error: a postcondition could not be proved on this return path
source1.dfy(6,10): Related location: this is the postcondition that could not be proved

Dafny program verifier finished with 0 assertions verified, 1 error

Dafny program verifier finished with 1 assertions verified, 0 errors
single-file.dfy(8,11): Error: assertion might not hold
single-file.dfy(16,14): Error: loop invariant violation
single-file.dfy(24,11): Error: assertion might not hold
single-file.dfy(24,25): Error: assertion might not hold

Dafny program verifier finished with 1 verified, 4 errors

Dafny program verifier finished with 0 assertions verified, 0 errors

Dafny program verifier finished with 0 verified, 0 errors
single-file.dfy(8,11): Error: assertion might not hold

Dafny program verifier finished with 3 assertions verified, 1 error

Dafny program verifier finished with 1 assertions verified, 0 errors

Dafny program verifier finished with 1 assertions verified, 0 errors
single-file.dfy(8,11): Error: assertion might not hold

Dafny program verifier finished with 0 assertions verified, 1 error

Dafny program verifier finished with 1 assertions verified, 0 errors
single-file.dfy(16,14): Error: loop invariant violation

Dafny program verifier finished with 0 assertions verified, 1 error

Dafny program verifier finished with 1 assertions verified, 0 errors
single-file.dfy(24,11): Error: assertion might not hold
single-file.dfy(24,25): Error: assertion might not hold

Dafny program verifier finished with 0 assertions verified, 2 errors
