diff --git a/src/test/java/de/tlc4b/util/TestUtil.java b/src/test/java/de/tlc4b/util/TestUtil.java index bcfc579e49f20adbdfc53f1e513498655afde8f6..4dca4d68c7b4e97b5f2c97372fd0a731ad0d46c8 100644 --- a/src/test/java/de/tlc4b/util/TestUtil.java +++ b/src/test/java/de/tlc4b/util/TestUtil.java @@ -149,9 +149,8 @@ public class TestUtil { } public static TLCResult testString(String machineString) throws IOException { - String[] args = new String[] { machineString }; String runnerClassName = TLC4BRunnerTestString.class.getCanonicalName(); - + String[] args = new String[] { machineString }; return runTLC(runnerClassName, args); }