diff options
Diffstat (limited to 'doc/tutorial/tests.md')
| -rw-r--r-- | doc/tutorial/tests.md | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/tutorial/tests.md b/doc/tutorial/tests.md index 138769b1..f4d8897c 100644 --- a/doc/tutorial/tests.md +++ b/doc/tutorial/tests.md @@ -93,7 +93,7 @@ be provided. By specifying the appropriate target in this module the default test runner can be overwritten by a different test runner fom the rule's workspace root. Moreover, all test targets share runner infrastructure from `shell/test`, e.g., summarizing multiple runs per -test (to detect flakyness) if the configuration variable `RUNS_PER_TEST` +test (to detect flakiness) if the configuration variable `RUNS_PER_TEST` is set. However, in our case, we want to use the default runner and therefore it |