From 00bf91166ddc480eb853176fe4cac70df16de703 Mon Sep 17 00:00:00 2001
From: dgelessus <dgelessus@users.noreply.github.com>
Date: Tue, 30 Jul 2024 14:32:56 +0200
Subject: [PATCH] Adjust for new behavior of OutputCollector.getTrace()
---
src/main/java/de/tlc4b/tlc/TLCResults.java | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/src/main/java/de/tlc4b/tlc/TLCResults.java b/src/main/java/de/tlc4b/tlc/TLCResults.java
index 48c4cce..a8c4e42 100644
--- a/src/main/java/de/tlc4b/tlc/TLCResults.java
+++ b/src/main/java/de/tlc4b/tlc/TLCResults.java
@@ -180,7 +180,7 @@ public class TLCResults implements ToolGlobals {
private void evalTrace() {
List<TLCStateInfo> trace = OutputCollector.getTrace();
TracePrinter printer = null;
- if (trace != null) {
+ if (!trace.isEmpty()) {
printer = new TracePrinter(trace, tlcOutputInfo);
} else if (OutputCollector.getInitialState() != null) {
printer = new TracePrinter(OutputCollector.getInitialState(), tlcOutputInfo);
--
GitLab