docs: add example for running a single test case (p4lang#3034)

Signed-off-by: Radostin Stoyanov <rstoyanov@fedoraproject.org>
zzmic · Jan 19, 2022 · 0063bf9 · 0063bf9
1 parent e54073f
commit 0063bf9
Showing 1 changed file with 3 additions and 0 deletions.
diff --git a/docs/README.md b/docs/README.md
@@ -191,6 +191,9 @@ The testing infrastructure is based on small python and shell scripts.
 
 * To rerun the tests that failed last time run `make recheck`
 
+* To run a single test case execute `ctest --output-on-failure -R '<test>'`.
+  Example: `ctest --output-on-failure -R 'psa-switch-expression-without-default'`
+
 * Add unit tests in `test/gtest`
 
 Test programs with file names ending in `-bmv2.p4` or `-ebpf.p4` may