From 46775ac2b2b4e9c265b517bb366a22cd6b69bfef Mon Sep 17 00:00:00 2001 From: Geoff Romer Date: Wed, 22 Sep 2021 12:06:48 -0700 Subject: [PATCH] Invoke `lit` with `-sv`. (#844) --- bazel/testing/lit_test.py | 1 + executable_semantics/README.md | 6 +++--- 2 files changed, 4 insertions(+), 3 deletions(-) diff --git a/bazel/testing/lit_test.py b/bazel/testing/lit_test.py index 44e2851de859..092056db01bc 100644 --- a/bazel/testing/lit_test.py +++ b/bazel/testing/lit_test.py @@ -80,6 +80,7 @@ def main(): os.path.join(symlink_dir, "lit"), "--path=%s" % symlink_dir, test_dir, + "-sv", ] # Run lit. diff --git a/executable_semantics/README.md b/executable_semantics/README.md index 7dca0ca6c185..ccb1771b1a82 100644 --- a/executable_semantics/README.md +++ b/executable_semantics/README.md @@ -259,8 +259,8 @@ To explain this boilerplate: Useful commands are: - `./update_checks.py` -- Updates expected output. -- `bazel test :executable_semantics_lit_test --test_output=errors --test_arg=-v` - -- Runs tests and prints verbose output. -- `bazel test :executable_semantics_lit_test --test_output=errors --test_arg=-v --test_arg=--filter=basic_syntax/.*` +- `bazel test :executable_semantics_lit_test --test_output=errors` -- Runs + tests and prints any errors. +- `bazel test :executable_semantics_lit_test --test_output=errors --test_arg=--filter=basic_syntax/.*` -- Only runs tests in the `basic_syntax` directory; `--filter` is a regular expression.