Update CONTRIBUTING.md

run all case studies on release
yavivanov · Sep 19, 2022 · f1f3969 · f1f3969
1 parent a507742
commit f1f3969
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/CONTRIBUTING.md b/CONTRIBUTING.md
@@ -44,7 +44,7 @@ The Tamarin Prover is distributed through a number of channels: source and binar
 
 1. Make the new release on Github. @rsasse or @jdreier usually does this.
 
-   1. run `python3 regressionTests.py` and check for any error
+   1. run `python3 regressionTests.py -s` and check for any error
 
    2. run `tamarin-prover test`