Fixed order of function args

ftsrg · Jul 8, 2024 · 20614ce · 20614ce
1 parent f3911ce
commit 20614ce
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 1 deletion.
diff --git a/subprojects/common/core/src/main/java/hu/bme/mit/theta/core/utils/ExprUtils.java b/subprojects/common/core/src/main/java/hu/bme/mit/theta/core/utils/ExprUtils.java
@@ -518,7 +518,7 @@ public static Tuple2<Expr<?>, List<Expr<?>>> extractFuncAndArgs(final FuncAppExp
             final Tuple2<Expr<?>, List<Expr<?>>> funcAndArgs = extractFuncAndArgs(funcApp);
             final Expr<?> resFunc = funcAndArgs.get1();
             final List<Expr<?>> args = funcAndArgs.get2();
-            final List<Expr<?>> resArgs = ImmutableList.<Expr<?>>builder().addAll(args).add(arg)
+            final List<Expr<?>> resArgs = ImmutableList.<Expr<?>>builder().add(arg).addAll(args)
                     .build();
             return Tuple2.of(resFunc, resArgs);
         } else {

diff --git a/subprojects/xcfa/xcfa2chc/src/test/java/hu/bme/mit/theta/xcfa2chc/TestChcUtils.kt b/subprojects/xcfa/xcfa2chc/src/test/java/hu/bme/mit/theta/xcfa2chc/TestChcUtils.kt
@@ -28,6 +28,7 @@ import hu.bme.mit.theta.core.type.booltype.BoolExprs.*
 import hu.bme.mit.theta.core.type.inttype.IntExprs
 import hu.bme.mit.theta.core.type.inttype.IntExprs.Int
 import hu.bme.mit.theta.core.type.inttype.IntType
+import hu.bme.mit.theta.solver.smtlib.impl.z3.Z3SmtLibSolverFactory
 import org.junit.jupiter.api.Test
 
 private val iParamLut = LinkedHashMap<String, ParamDecl<IntType>>()