diff --git a/prism/src/prism/PrismCL.java b/prism/src/prism/PrismCL.java index cedde204..714b4bc3 100644 --- a/prism/src/prism/PrismCL.java +++ b/prism/src/prism/PrismCL.java @@ -1830,6 +1830,7 @@ public class PrismCL mainLog.println("-simpath ....... Generate a random path with the simulator"); mainLog.println("-nobuild ....................... Skip model construction (just do parse/export)"); mainLog.println("-test .......................... Enable \"test\" mode"); + mainLog.println("-testall ....................... Enable \"test\" mode, but don't exit on error"); mainLog.println(); mainLog.println("IMPORT OPTIONS:"); mainLog.println("-importpepa .................... Model description is in PEPA, not the PRISM language");