From ec938f1e09dd5412e6ce1d09da0abad9e0f163fd Mon Sep 17 00:00:00 2001
From: Jan Gruteser <jan.gruteser@hhu.de>
Date: Fri, 20 Sep 2024 14:49:59 +0200
Subject: [PATCH] readd resetGlobals for tests
otherwise some required trace files are not created
---
src/main/java/de/tlc4b/TLC4B.java | 4 +++-
1 file changed, 3 insertions(+), 1 deletion(-)
diff --git a/src/main/java/de/tlc4b/TLC4B.java b/src/main/java/de/tlc4b/TLC4B.java
index f3aac59..e98d0e2 100644
--- a/src/main/java/de/tlc4b/TLC4B.java
+++ b/src/main/java/de/tlc4b/TLC4B.java
@@ -209,6 +209,8 @@ public class TLC4B {
public static void test(String[] args, boolean deleteFiles) throws Exception {
System.setProperty("apple.awt.UIElement", "true"); // avoiding pop up windows
+ TLC4BGlobals.resetGlobals();
+ TLC4BGlobals.setDeleteOnExit(deleteFiles);
TLC4B tlc4b = new TLC4B();
try {
tlc4b.process(args);
@@ -217,7 +219,6 @@ public class TLC4B {
printlnErr(e.getMessage());
throw e;
}
- TLC4BGlobals.setDeleteOnExit(deleteFiles);
if (TLC4BGlobals.isRunTLC()) {
MP.TLCOutputStream.changeOutputStream();
TLCRunner.runTLC(tlc4b.machineFileNameWithoutFileExtension, tlc4b.buildDir);
@@ -233,6 +234,7 @@ public class TLC4B {
public static void testString(String machineString, boolean deleteFiles) throws Exception {
System.setProperty("apple.awt.UIElement", "true"); // avoiding pop up windows
+ TLC4BGlobals.resetGlobals();
TLC4BGlobals.setDeleteOnExit(deleteFiles);
TLC4B tlc4b = new TLC4B();
tlc4b.buildDir = new File("temp/");
--
GitLab