We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
Have a question about this project? # for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “#”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? # to your account
kontrol prove
We should add an option for user to configure the test prefix (other than test, prove, or check); e.g., symbolic_.
test
prove
check
symbolic_
The text was updated successfully, but these errors were encountered:
No branches or pull requests
We should add an option for user to configure the test prefix (other than
test
,prove
, orcheck
); e.g.,symbolic_
.The text was updated successfully, but these errors were encountered: