formatting

ftsrg · Oct 30, 2024 · 8756c32 · 8756c32
1 parent 08866e1
commit 8756c32
Show file tree

Hide file tree

Showing 4 changed files with 21 additions and 25 deletions.
diff --git a/.../test/java/hu/bme/mit/theta/analysis/algorithm/loopchecker/LDGAbstractorCheckingTest.java b/.../test/java/hu/bme/mit/theta/analysis/algorithm/loopchecker/LDGAbstractorCheckingTest.java
@@ -15,6 +15,8 @@
  */
 package hu.bme.mit.theta.analysis.algorithm.loopchecker;
 
+import static hu.bme.mit.theta.core.type.booltype.BoolExprs.True;
+
 import hu.bme.mit.theta.analysis.Analysis;
 import hu.bme.mit.theta.analysis.LTS;
 import hu.bme.mit.theta.analysis.algorithm.cegar.AbstractorResult;
@@ -43,21 +45,18 @@
 import hu.bme.mit.theta.xsts.analysis.*;
 import hu.bme.mit.theta.xsts.analysis.initprec.XstsAllVarsInitPrec;
 import hu.bme.mit.theta.xsts.dsl.XstsDslManager;
-import kotlin.Unit;
-import org.junit.Assert;
-import org.junit.Test;
-import org.junit.runner.RunWith;
-import org.junit.runners.Parameterized;
-
 import java.io.FileInputStream;
 import java.io.IOException;
 import java.io.InputStream;
 import java.io.SequenceInputStream;
 import java.util.Arrays;
 import java.util.Collection;
 import java.util.function.Predicate;
-
-import static hu.bme.mit.theta.core.type.booltype.BoolExprs.True;
+import kotlin.Unit;
+import org.junit.Assert;
+import org.junit.Test;
+import org.junit.runner.RunWith;
+import org.junit.runners.Parameterized;
 
 @RunWith(Parameterized.class)
 public class LDGAbstractorCheckingTest {

diff --git a/...s/src/test/java/hu/bme/mit/theta/analysis/algorithm/loopchecker/LDGCegarVerifierTest.java b/...s/src/test/java/hu/bme/mit/theta/analysis/algorithm/loopchecker/LDGCegarVerifierTest.java
@@ -15,6 +15,8 @@
  */
 package hu.bme.mit.theta.analysis.algorithm.loopchecker;
 
+import static hu.bme.mit.theta.core.type.booltype.BoolExprs.True;
+
 import hu.bme.mit.theta.analysis.Analysis;
 import hu.bme.mit.theta.analysis.LTS;
 import hu.bme.mit.theta.analysis.algorithm.cegar.CegarChecker;
@@ -50,13 +52,6 @@
 import hu.bme.mit.theta.xsts.XSTS;
 import hu.bme.mit.theta.xsts.analysis.*;
 import hu.bme.mit.theta.xsts.dsl.XstsDslManager;
-import kotlin.Unit;
-import org.junit.Assert;
-import org.junit.BeforeClass;
-import org.junit.Test;
-import org.junit.runner.RunWith;
-import org.junit.runners.Parameterized;
-
 import java.io.FileInputStream;
 import java.io.IOException;
 import java.io.InputStream;
@@ -65,8 +60,12 @@
 import java.util.Collection;
 import java.util.Objects;
 import java.util.function.Predicate;
-
-import static hu.bme.mit.theta.core.type.booltype.BoolExprs.True;
+import kotlin.Unit;
+import org.junit.Assert;
+import org.junit.BeforeClass;
+import org.junit.Test;
+import org.junit.runner.RunWith;
+import org.junit.runners.Parameterized;
 
 @RunWith(Parameterized.class)
 public class LDGCegarVerifierTest {

diff --git a/...is/src/test/java/hu/bme/mit/theta/analysis/algorithm/loopchecker/LDGTraceCheckerTest.java b/...is/src/test/java/hu/bme/mit/theta/analysis/algorithm/loopchecker/LDGTraceCheckerTest.java
@@ -37,15 +37,14 @@
 import hu.bme.mit.theta.xsts.XSTS;
 import hu.bme.mit.theta.xsts.analysis.*;
 import hu.bme.mit.theta.xsts.dsl.XstsDslManager;
-import kotlin.Unit;
-import org.junit.Assert;
-import org.junit.Test;
-
 import java.io.FileInputStream;
 import java.io.IOException;
 import java.io.InputStream;
 import java.io.SequenceInputStream;
 import java.util.function.Predicate;
+import kotlin.Unit;
+import org.junit.Assert;
+import org.junit.Test;
 
 public class LDGTraceCheckerTest {
     @Test

diff --git a/...lysis/src/test/java/hu/bme/mit/theta/analysis/algorithm/loopchecker/ldg/LDGTraceTest.java b/...lysis/src/test/java/hu/bme/mit/theta/analysis/algorithm/loopchecker/ldg/LDGTraceTest.java
@@ -15,18 +15,17 @@
  */
 package hu.bme.mit.theta.analysis.algorithm.loopchecker.ldg;
 
+import static org.mockito.Mockito.mock;
+
 import hu.bme.mit.theta.analysis.algorithm.loopchecker.LDGTrace;
 import hu.bme.mit.theta.analysis.expr.ExprAction;
 import hu.bme.mit.theta.analysis.expr.ExprState;
+import java.util.List;
 import org.junit.Assert;
 import org.junit.Test;
 import org.junit.runner.RunWith;
 import org.mockito.junit.MockitoJUnitRunner;
 
-import java.util.List;
-
-import static org.mockito.Mockito.mock;
-
 @RunWith(MockitoJUnitRunner.class)
 public class LDGTraceTest {