Skip to content

Commit

Permalink
Adjust error message in test
Browse files Browse the repository at this point in the history
  • Loading branch information
p-offtermatt committed Oct 11, 2023
1 parent 8aee401 commit d75d5c5
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion tests/difference/core/quint_model/ccv_test.qnt
Original file line number Diff line number Diff line change
Expand Up @@ -218,7 +218,7 @@ module ccv_test {
Set("chain3"),
Set()
)
res._2 == "cannot start a consumer that is stopped or running"
res._2 == "cannot start a consumer that is stopped or already a consumer"
}

run ConsumerStatusMapAlreadyStoppedTest =
Expand Down

0 comments on commit d75d5c5

Please sign in to comment.