Skip to content

Commit

Permalink
update check
Browse files Browse the repository at this point in the history
  • Loading branch information
@typerSniper
typerSniper committed Jan 29, 2025
1 parent 86db816 commit abbdba0
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion .../TestFiles/LitTests/LitTest/blogposts/TestGenerationWithInliningQuantifiedDefinitions.dfy
View file
Original file line number Diff line number Diff line change
Expand Up @@ -8,7 +8,7 @@
// the verifier chooses to do first. Thus, if something changes in the verifier, then the CHECK lines below
// may need to be permuted.
// RUN: %OutputCheck --file-to-check "%t" "%s"
// CHECK: .*Dafny program verifier finished with 4 verified, 0 errors*
// CHECK: .*Dafny program verifier finished with 5 verified, 0 errors*
// CHECK: .*Evaluating the position: checked=yes, checkmate=yes, pawn is attacking*
// CHECK: .*Evaluating the position: checked=yes, checkmate=no, pawn is attacking*
// CHECK: .*Evaluating the position: checked=no, checkmate=no*
Expand Down

0 comments on commit abbdba0

Please sign in to comment.