From 5bab1a4e1c13ce533e62f44004d8b0f41b93ba55 Mon Sep 17 00:00:00 2001
From: Dave Parker <dave.x.parker@gmail.com>
Date: Thu, 14 Jul 2011 11:54:25 +0000
Subject: [PATCH] Added -testall to -help text.

git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@3265 bbc10eb1-c90d-0410-af57-cb519fbb1720
---
 prism/src/prism/PrismCL.java | 1 +
 1 file changed, 1 insertion(+)

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 <options> <file>....... 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");