Skip to content

Commit

Permalink
Fix expect file
Browse files Browse the repository at this point in the history
  • Loading branch information
@keyboardDrummer
keyboardDrummer committed Sep 20, 2024
1 parent 39b7daa commit 9307699
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion Source/IntegrationTests/TestFiles/LitTests/LitTest/ast/statement/opaqueBlock.dfy.expect
View file
Original file line number Diff line number Diff line change
Expand Up @@ -11,4 +11,4 @@ opaqueBlock.dfy(127,12): Error: variable 'y', which is subject to definite-assig
opaqueBlock.dfy(130,17): Error: variable 'z', which is subject to definite-assignment rules, might be uninitialized here
opaqueBlock.dfy(142,12): Error: ensures might not hold

Dafny program verifier finished with 2 verified, 12 errors
Dafny program verifier finished with 3 verified, 12 errors

0 comments on commit 9307699

Please sign in to comment.