summaryrefslogtreecommitdiff
path: root/README.md
diff options
context:
space:
mode:
authorNadrieril2020-11-05 23:30:29 +0000
committerGitHub2020-11-05 23:30:29 +0000
commit2c870c1103b5596eaf936acb793d53b72b025e01 (patch)
treee25db497aa73bec8cbed1367269dea2282483348 /README.md
parent5ec5176f2953c19e9741da936fd873603099c258 (diff)
parent4b93a5e252fe98840a0aaa3adcc453e4214d0b1f (diff)
Merge pull request #198 from Nadrieril/bless-tests
Overwrite test outputs with a `--bless` option
Diffstat (limited to 'README.md')
-rw-r--r--README.md12
1 files changed, 7 insertions, 5 deletions
diff --git a/README.md b/README.md
index bcd2f82..61f9b68 100644
--- a/README.md
+++ b/README.md
@@ -153,13 +153,15 @@ The various tests are run according to the instructions present in
If an output test file (a `fooB.dhall` file) is missing, we will generate it automatically.
This is useful when writing new tests. Don't forget to commit it to git !
-If a test fails but you prefer the new output, you can run the test with
-`UPDATE_TEST_FILES=1` to overwrite the result file with the new output.
-This happens often with ui tests (see below), since we may want to change the
-phrasing of errors for example.
+If one of the specification tests fails but you prefer the new output, you can
+run the test(s) with `--bless` to overwrite the result file with the new
+output. This happens often with ui tests (see below), since we may want to
+change the phrasing of errors for example. Note that the `--bless` argument is
+only accepted by the `spec` tests and will not be recognized if you also run
+other test.
```bash
-$ UPDATE_TEST_FILES=1 cargo test tests::spec::name_of_test
+$ cargo test --test spec -- -q --bless
```
In addition to the usual dhall tests, we additionally run "ui tests", that