Skip to content

Fix "unknown option" error message from runner - #260

Merged
jmid merged 2 commits into
c-cube:masterfrom
jmid:fix-error-message
Nov 3, 2022
Merged

Fix "unknown option" error message from runner#260
jmid merged 2 commits into
c-cube:masterfrom
jmid:fix-error-message

Conversation

@jmid

@jmidjmid commented Nov 1, 2022

Copy link
Copy Markdown
Collaborator

While switching from dune exec path/some.exe -- -v -s 123 to _build/default/path/some.exe I mistakingly passed -- which is not a valid QCheck option and was surprised by this error message:

_build/default/path/some.exe: unknown option '--'.
run qtest suite
-v --verbose enable verbose tests
--colors colored output
[...]

This PR therefore changes the second line to

run QCheck test suite

@jmid
jmid merged commit 1b74388 into c-cube:masterNov 3, 2022
@jmid
jmid deleted the fix-error-message branch November 3, 2022 08:33
Sign up for freeto join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant

@jmid