Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Add warning flags to command-line #151

Open
n-osborne opened this issue Oct 3, 2023 · 0 comments
Open

Add warning flags to command-line #151

n-osborne opened this issue Oct 3, 2023 · 0 comments
Labels

Comments

@n-osborne
Copy link
Collaborator

The warning system for the qcheck-stm plugin can be a bit verbose, informing the user about each skipped clause even if there is another one that contains the information it were looking for.

I propose to have three verbosity modes:

  1. error only (when ortac have not been able to generate anything)
  2. warnings that impacts the generated artefact or test coverage (when a function has been skipped because next-state is impossible to generate, or because there is no sut type in the parameters).
  3. extra verbosity, displaying every warnings possible even about skipped clauses.

2 could be the default, 1 a --quiet option and 3 a --verbose option.

@n-osborne n-osborne changed the title Add warning flags the command-line Add warning flags to command-line Oct 3, 2023
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
Projects
None yet
Development

No branches or pull requests

1 participant