Skip to content

Commit

Permalink
correction
Browse files Browse the repository at this point in the history
  • Loading branch information
@PetarMax
PetarMax committed Sep 27, 2024
1 parent c0c088b commit 5acb050
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion tests/failing-symbolic.haskell-booster-dev
View file
Original file line number Diff line number Diff line change
Expand Up @@ -137,6 +137,6 @@ tests/specs/mcd-structured/pot-join-pass-rough-spec.k
tests/specs/mcd-structured/vow-fess-fail-rough-spec.k
tests/specs/mcd-structured/vow-flog-fail-rough-spec.k
tests/specs/mcd/dai-adduu-fail-rough-spec.k
tests/specs/mcd/dai-adduu-fail-rough-spec.k
tests/specs/mcd/flipper-addu48u48-fail-rough-spec.k
tests/specs/mcd-structured/dai-adduu-fail-rough-spec.k
tests/specs/mcd-structured/flipper-addu48u48-fail-rough-spec.k

0 comments on commit 5acb050

Please sign in to comment.