add trace file path to log

src/main/java/de/tlc4b/TLC4B.java

@@ -162,6 +162,7 @@ public class TLC4B {
 			String trace = results.getTrace();
 			String tracefileName = machineFileNameWithoutFileExtension + ".tla.trace";
 			traceFile = createFile(mainfile.getParentFile(), tracefileName, trace, false);
+			results.addTraceFilePath(traceFile.getAbsolutePath());
 			println("Trace file '" + traceFile.getAbsolutePath() + "' created.");
 		}
 

src/main/java/de/tlc4b/tlc/TLCResults.java

@@ -27,7 +27,7 @@ public class TLCResults implements ToolGlobals {
 	private final ArrayList<String> violatedAssertions = new ArrayList<>();
 
 	private int lengthOfTrace;
-	private String traceString;
+	private String traceString, traceFile;
 
 	private int numberOfDistinctStates;
 	private int numberOfTransitions;
@@ -42,6 +42,18 @@ public class TLCResults implements ToolGlobals {
 		return lengthOfTrace > 0;
 	}
 
+	public void addTraceFilePath(final String traceFile) {
+		this.traceFile = traceFile;
+	}
+
+	public String getTraceFilePath() {
+		if (this.hasTrace() && this.traceFile != null) {
+			return this.traceFile;
+		} else {
+			return null;
+		}
+	}
+
 	public LinkedHashMap<String, Long> getOperationCount() {
 		return operationsCount;
 	}