[PEx] Updates mvn test config

Author: aman-goel

Src/PRuntimes/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.

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() {