From 43f35f3dbf1eb58d76b9e74ae615ab3b2166889a Mon Sep 17 00:00:00 2001
From: Sebastian Krings <sebastian@krin.gs>
Date: Thu, 6 Jun 2013 10:40:15 +0200
Subject: [PATCH] if a timeout occurs, no counterexample is found
---
.../prob/eventb/disprover/core/internal/DisproverCommand.java | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/de.prob.eventb.disprover.core/src/de/prob/eventb/disprover/core/internal/DisproverCommand.java b/de.prob.eventb.disprover.core/src/de/prob/eventb/disprover/core/internal/DisproverCommand.java
index 50c44801..2febdebf 100644
--- a/de.prob.eventb.disprover.core/src/de/prob/eventb/disprover/core/internal/DisproverCommand.java
+++ b/de.prob.eventb.disprover.core/src/de/prob/eventb/disprover/core/internal/DisproverCommand.java
@@ -118,7 +118,7 @@ public class DisproverCommand implements IComposableCommand {
counterExample = null;
if ("time_out".equals(term.getFunctor())) {
- counterExample = new CounterExample(true, true);
+ counterExample = new CounterExample(false, true);
}
if ("interrupted".equals(term.getFunctor())) {
throw new CommandException("Interrupted");
--
GitLab