[PEx] Updates mvn test config

p-org · Jul 15, 2024 · c02f0ed · c02f0ed
1 parent 4565eda
commit c02f0ed
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/...ntimes/PExplicitRuntime/src/main/java/pexplicit/runtime/scheduler/SchedulerInterface.java b/...ntimes/PExplicitRuntime/src/main/java/pexplicit/runtime/scheduler/SchedulerInterface.java
@@ -14,7 +14,7 @@ public interface SchedulerInterface extends Serializable {
     /**
      * Perform the search
      */
-    void run() throws TimeoutException, InterruptedException, IOException;
+    void run() throws TimeoutException, InterruptedException;
 
     /**
      * Return a random PBool based on the search and strategy.

diff --git a/Src/PRuntimes/PExplicitRuntime/src/test/java/pexplicit/TestPExplicit.java b/Src/PRuntimes/PExplicitRuntime/src/test/java/pexplicit/TestPExplicit.java
@@ -27,7 +27,7 @@ public class TestPExplicit {
     private static String timeout = "30";
     private static String schedules = "100";
     private static String maxSteps = "10000";
-    private static String runArgs = "";
+    private static String runArgs = "--checker-args :--schedules-per-task:10";
     private static boolean initialized = false;
 
     private static void setRunArgs() {