From fca5e7d490a697fb06f5347370145b8c2fe3c398 Mon Sep 17 00:00:00 2001
From: dgelessus <dgelessus@users.noreply.github.com>
Date: Tue, 30 Jul 2024 19:23:00 +0200
Subject: [PATCH] Fix more indents
---
.../probprivate/WellDefinednessTest.java | 43 +++++++++----------
1 file changed, 21 insertions(+), 22 deletions(-)
diff --git a/src/test/java/de/tlc4b/tlc/integration/probprivate/WellDefinednessTest.java b/src/test/java/de/tlc4b/tlc/integration/probprivate/WellDefinednessTest.java
index 543d75c..02ba852 100644
--- a/src/test/java/de/tlc4b/tlc/integration/probprivate/WellDefinednessTest.java
+++ b/src/test/java/de/tlc4b/tlc/integration/probprivate/WellDefinednessTest.java
@@ -18,26 +18,25 @@ import static de.tlc4b.util.TestUtil.test;
import static org.junit.Assert.assertEquals;
@RunWith(PolySuite.class)
-public class WellDefinednessTest extends AbstractParseMachineTest {
-
- private final File machine;
- private final TLCResult error;
-
- public WellDefinednessTest(File machine, TLCResult result) {
- this.machine = machine;
- this.error = result;
- }
-
- @Test
- public void testRunTLC() throws Exception {
- String[] a = new String[] { machine.getPath(), "-wdcheck" };
- assertEquals(error, test(a));
- }
-
- @Config
- public static Configuration getConfig() {
- List<String> list = new ArrayList<>();
- list.add("build/prob_examples/public_examples/TLC/WellDefinednessError");
- return getConfiguration(list, WellDefinednessError);
- }
+public class WellDefinednessTest extends AbstractParseMachineTest {
+ private final File machine;
+ private final TLCResult error;
+
+ public WellDefinednessTest(File machine, TLCResult result) {
+ this.machine = machine;
+ this.error = result;
+ }
+
+ @Test
+ public void testRunTLC() throws Exception {
+ String[] a = new String[] { machine.getPath(), "-wdcheck" };
+ assertEquals(error, test(a));
+ }
+
+ @Config
+ public static Configuration getConfig() {
+ List<String> list = new ArrayList<>();
+ list.add("build/prob_examples/public_examples/TLC/WellDefinednessError");
+ return getConfiguration(list, WellDefinednessError);
+ }
}
--
GitLab