Fix formatting and bump version

ftsrg · Feb 13, 2025 · 570cb79 · 570cb79
1 parent d0e64be
commit 570cb79
Show file tree

Hide file tree

Showing 2 changed files with 5 additions and 5 deletions.
diff --git a/build.gradle.kts b/build.gradle.kts
@@ -29,7 +29,7 @@ buildscript {
 
 allprojects {
     group = "hu.bme.mit.theta"
-    version = "6.9.0"
+    version = "6.10.0"
 
     apply(from = rootDir.resolve("gradle/shared-with-buildSrc/mirrors.gradle.kts"))
 }

diff --git a/subprojects/xsts/xsts-analysis/src/test/java/hu/bme/mit/theta/xsts/analysis/XstsTest.java b/subprojects/xsts/xsts-analysis/src/test/java/hu/bme/mit/theta/xsts/analysis/XstsTest.java
@@ -196,10 +196,10 @@ public static Collection<Object[]> data() {
                         XstsConfigBuilder.Domain.EXPL_PRED_COMBINED
                     },
                     {
-                            "src/test/resources/model/literals_fullname.xsts",
-                            "src/test/resources/property/literals.prop",
-                            false,
-                            XstsConfigBuilder.Domain.PRED_CART
+                        "src/test/resources/model/literals_fullname.xsts",
+                        "src/test/resources/property/literals.prop",
+                        false,
+                        XstsConfigBuilder.Domain.PRED_CART
                     },
                     {
                         "src/test/resources/model/literals.xsts",