Skip to content

Commit

Permalink
Fixed Pico test
Browse files Browse the repository at this point in the history
  • Loading branch information
PieterOlivier committed Oct 29, 2024
1 parent ff5f36d commit 377cb8c
Showing 1 changed file with 3 additions and 2 deletions.
Original file line number Diff line number Diff line change
Expand Up @@ -72,8 +72,9 @@ test bool picoMissingSemi() = checkRecovery(#Program, "begin declare input : nat
od
input := input - 1
od
end", ["input := input - 1
od"]);
end", ["od
end", "input := input - 1
"]);

test bool picoTypoSmall() = checkRecovery(#Program, "begin declare;
while input do
Expand Down

0 comments on commit 377cb8c

Please sign in to comment.