From 54bc600ffdef355239a65e11868eb4d229721894 Mon Sep 17 00:00:00 2001
From: dgelessus <dgelessus@users.noreply.github.com>
Date: Thu, 27 Apr 2023 15:08:00 +0200
Subject: [PATCH] Remove unused argument of startJVM
---
src/test/java/de/tlc4b/util/TestUtil.java | 4 ++--
1 file changed, 2 insertions(+), 2 deletions(-)
diff --git a/src/test/java/de/tlc4b/util/TestUtil.java b/src/test/java/de/tlc4b/util/TestUtil.java
index 0942d15..68dfb3f 100644
--- a/src/test/java/de/tlc4b/util/TestUtil.java
+++ b/src/test/java/de/tlc4b/util/TestUtil.java
@@ -158,7 +158,7 @@ public class TestUtil {
}
private static TLCResult runTLC(String runnerClassName, String[] args) throws IOException {
- final Process p = startJVM("", runnerClassName, args);
+ final Process p = startJVM(runnerClassName, args);
StreamGobbler stdOut = new StreamGobbler(p.getInputStream());
stdOut.start();
try {
@@ -179,7 +179,7 @@ public class TestUtil {
}
- private static Process startJVM(final String optionsAsString, final String mainClass, final String[] arguments)
+ private static Process startJVM(final String mainClass, final String[] arguments)
throws IOException {
String separator = System.getProperty("file.separator");
--
GitLab