From 2c9428a1815f2bca8dc74ad4495386bdc4f0a20c Mon Sep 17 00:00:00 2001 From: Sebastian Krings <sebastian@krin.gs> Date: Thu, 6 Jun 2013 10:39:31 +0200 Subject: [PATCH] improved to string method of counter-example (for loggin) --- .../disprover/core/internal/CounterExample.java | 11 +++++++---- 1 file changed, 7 insertions(+), 4 deletions(-) diff --git a/de.prob.eventb.disprover.core/src/de/prob/eventb/disprover/core/internal/CounterExample.java b/de.prob.eventb.disprover.core/src/de/prob/eventb/disprover/core/internal/CounterExample.java index 2d000cbd..3cc8a8ba 100644 --- a/de.prob.eventb.disprover.core/src/de/prob/eventb/disprover/core/internal/CounterExample.java +++ b/de.prob.eventb.disprover.core/src/de/prob/eventb/disprover/core/internal/CounterExample.java @@ -3,7 +3,6 @@ package de.prob.eventb.disprover.core.internal; import java.util.SortedMap; import java.util.TreeMap; - /** * This class wraps the results from a Disprover run. It either indicates that * there is no counter-example, or it provides a way to show the counter @@ -42,12 +41,16 @@ class CounterExample implements ICounterExample { @Override public String toString() { if (counterExampleFound) { - return state.toString(); + return "Counter-Example found: " + state.toString(); } else { if (isProof()) { - return "No Counter-Example exists."; + return "No Counter-Example exists: Proof."; } else { - return "No Counter-Example found."; + if (timeoutOccured()) { + return "No Counter-Example found due to Time-Out."; + } else { + return "No Counter-Example found."; + } } } } -- GitLab