From b76524422a8f26f9dcdbcab218443bc1991ed7ab Mon Sep 17 00:00:00 2001
From: Joachim Klein <klein@tcs.inf.tu-dresden.de>
Date: Tue, 9 Aug 2016 18:24:33 +0000
Subject: [PATCH] PrismCL: Error message if -param switch is given but there is
 no property to check

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

diff --git a/prism/src/prism/PrismCL.java b/prism/src/prism/PrismCL.java
index 2dbef79b..37be9a3b 100644
--- a/prism/src/prism/PrismCL.java
+++ b/prism/src/prism/PrismCL.java
@@ -242,6 +242,10 @@ public class PrismCL implements PrismModelListener
 		// Sort out properties to check
 		sortProperties();
 
+		if (param && numPropertiesToCheck == 0) {
+			errorAndExit("Parametric model checking requires at least one property to check");
+		}
+
 		// process info about undefined constants
 		try {
 			// first, see which constants are undefined