Tests: add info on manually running a single test

This commit is contained in:
Louis Gesbert 2022-10-04 11:27:31 +02:00
parent 5da55f1605
commit 609cc5cc9a

View File

@ -49,3 +49,11 @@ for instance), you can mass-reset the expected outputs with
`make test_suite CLERK_OPTS=--reset`.
`git diff` will then allow to check all the changes at once.
**Caution**: It's your responsability to check all the changes before committing them.
## Tips
* Running a single test-file just to check changes when tweaking either the compiler or the test file itself, but without updating or diffing with the reference can be useful when debugging. The following command outputs the result to `stdout` and can be used from within text editors:
clerk runtest test-file.catala_en
# Or, to use the current build artefacts, wrap with `dune exec`:
dune exec --display=quiet --no-build -- clerk runtest -e dune -c "exec --display=quiet --no-build -- catala" test-file.catala_en