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

Provide more command-line options #30

Open
propensive opened this issue Nov 28, 2020 · 0 comments
Open

Provide more command-line options #30

propensive opened this issue Nov 28, 2020 · 0 comments
Assignees
Labels
enhancement An improvement to existing functionality

Comments

@propensive
Copy link
Owner

Probably's command-line interface accepts a list of arguments, being the hashes of the tests it should run. (If none are specified, then all tests are run.)

But it would be useful to have options which help to format the report that is printed after the tests are run. For example, to show or hide the test times, or to print full stack traces when exceptions are thrown.

We need to parse the arguments (which should be in -f/--foo style), and then change the output format according to the choices.

Some suggestions for flags:

  • -S/--no-suites: do not run sub-suites
  • -q/--quiet do not print any output (just return success or failure exit status)
  • -T/--no-times do not display test timing columns
  • -e/--exceptions print full stack traces
@propensive propensive added enhancement An improvement to existing functionality lsug labels Nov 28, 2020
@propensive propensive self-assigned this Jan 4, 2022
@propensive propensive moved this to Todo in Soundness Jan 4, 2022
@propensive propensive removed the lsug label Nov 22, 2022
@propensive propensive added this to the Primevère milestone Jan 2, 2023
@propensive propensive removed this from the Primevère milestone Oct 8, 2023
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
enhancement An improvement to existing functionality
Projects
Status: Todo
Development

No branches or pull requests

1 participant