diff --git a/build.gradle.kts b/build.gradle.kts index 6a99a2c3cf..794611fd69 100644 --- 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 index dad9313bb8..8c35032f60 100644 --- 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 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",