From b556eb8f4a04d75bab9c2d51d2b31d278f99e170 Mon Sep 17 00:00:00 2001
From: hansen <dominik_hansen@web.de>
Date: Mon, 11 Jan 2016 15:21:44 +0100
Subject: [PATCH] added result to log file
---
src/main/java/de/tlc4b/Log.java | 4 +++-
1 file changed, 3 insertions(+), 1 deletion(-)
diff --git a/src/main/java/de/tlc4b/Log.java b/src/main/java/de/tlc4b/Log.java
index 431fd66..452fd60 100644
--- a/src/main/java/de/tlc4b/Log.java
+++ b/src/main/java/de/tlc4b/Log.java
@@ -35,7 +35,9 @@ public class Log {
long modelCheckingTime = StopWatch
.getRunTime(Watches.MODEL_CHECKING_TIME);
fieldValues.add(String.valueOf(modelCheckingTime));
-
+
+ fieldNames.add("TLC Result");
+ fieldValues.add(tlcResults.getResultString());
}
public String getCSVValueLine() {
--
GitLab