Update README.md

pluto · Aug 7, 2024 · c5cceaa · c5cceaa
1 parent 82b472b
commit c5cceaa
Showing 1 changed file with 5 additions and 0 deletions.
diff --git a/README.md b/README.md
@@ -64,6 +64,11 @@ npx mocha
 ```
 from the repository root.
 
+To run specific tests, use the `-g` flag for `mocha`, e.g., to run any proof described with "State" we can pass:
+```
+npx mocha -g State
+```
+
 
 ## (MOSTLY DEPRECATED DUE TO CIRCOMKIT) Running an example
 ```