Svcomp config (#756)

Signed-off-by: Hernan Ponce de Leon <[email protected]>

Dartagnan-SVCOMP.sh

@@ -33,6 +33,6 @@ else
         skip_assertions_of_type=""
     fi
 
-    cmd="java -jar svcomp/target/svcomp.jar --method=eager --encoding.integers=true $skip_assertions_of_type --svcomp.step=5 --svcomp.umax=27 cat/svcomp.cat --svcomp.property="$propertypath" "$programpath" "$witness
+    cmd="java -jar svcomp/target/svcomp.jar $skip_assertions_of_type cat/svcomp.cat --svcomp.property="$propertypath" "$programpath" "$witness
 fi
 $cmd

svcomp.properties

@@ -0,0 +1,4 @@
+method=eager
+encoding.integers=true
+svcomp.step=5
+svcomp.umax=27

svcomp/src/main/java/com/dat3m/svcomp/SVCOMPRunner.java

@@ -124,6 +124,7 @@ public static void main(String[] args) throws Exception {
             cmd.addAll(Arrays.asList("-jar", System.getenv().get("DAT3M_HOME") + "/dartagnan/target/dartagnan.jar"));
             cmd.add(fileModel.toString());
             cmd.add(programPath);
+            cmd.add("svcomp.properties");
             cmd.add(String.format("--%s=%s", PROPERTY, r.property.asStringOption()));
             cmd.add(String.format("--%s=%s", BOUND, bound));
             cmd.add(String.format("--%s=%s", WITNESS, GRAPHML.asStringOption()));