From 5580874069d56932fd06ffccd378cb6cdd07765b Mon Sep 17 00:00:00 2001
From: Michael Leuschel <leuschel@cs.uni-duesseldorf.de>
Date: Fri, 30 Jan 2015 15:00:51 +0100
Subject: [PATCH] remove upper bound on new nodes added by LTL model check
uses -1 rather than 500
---
de.prob.ui/src/de/prob/ui/ltl/LtlCheckingJob.java | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/de.prob.ui/src/de/prob/ui/ltl/LtlCheckingJob.java b/de.prob.ui/src/de/prob/ui/ltl/LtlCheckingJob.java
index b4ec1034..85b14207 100644
--- a/de.prob.ui/src/de/prob/ui/ltl/LtlCheckingJob.java
+++ b/de.prob.ui/src/de/prob/ui/ltl/LtlCheckingJob.java
@@ -70,7 +70,7 @@ public final class LtlCheckingJob extends Job {
}
private Result doSomeModelchecking() throws ProBException {
- return LtlCheckingCommand.modelCheck(animator, formula, 500, option);
+ return LtlCheckingCommand.modelCheck(animator, formula, -1, option); // this used to be 500 instead of -1, but currently the Java side does not seem to cope with the LTL model checker returning; -1 means no maximum value
}
private boolean setSymmetry() {
--
GitLab