Required changes

p-org · Jul 23, 2024 · fb9b591 · fb9b591
1 parent 5c0a9bf
commit fb9b591
Show file tree

Hide file tree

Showing 3 changed files with 6 additions and 24 deletions.
diff --git a/Src/PCompiler/CompilerCore/Backend/Java/MachineGenerator.cs b/Src/PCompiler/CompilerCore/Backend/Java/MachineGenerator.cs
@@ -252,19 +252,9 @@ private void WriteMonitorCstr()
 
             foreach (var s in _currentMachine.States)
             {
-                WriteStateBuilderDecl(s, true);
+                WriteStateBuilderDecl(s);
             }
             WriteLine("} // constructor");
-            WriteLine();
-
-            WriteLine($"public void reInitializeMonitor() {{");
-
-            foreach (var s in _currentMachine.States)
-            {
-                WriteStateBuilderDecl(s, false);
-            }
-            WriteLine("}");
-
         }
 
         private void WriteEventsAccessor()
@@ -281,14 +271,9 @@ private void WriteEventsAccessor()
             WriteLine("}");
         }
 
-        private void WriteStateBuilderDecl(State s, bool isConstructor)
+        private void WriteStateBuilderDecl(State s)
         {
-            if (isConstructor) {
-                WriteLine($"addState(prt.State.keyedOn({Names.IdentForState(s)})");
-            } else {
-                WriteLine($"registerState(prt.State.keyedOn({Names.IdentForState(s)})");
-            }
-
+            WriteLine($"addState(prt.State.keyedOn({Names.IdentForState(s)})");
             if (s.IsStart)
             {
                 WriteLine($".isInitialState(true)");

diff --git a/Src/PRuntimes/PExplicitRuntime/regressionTestScript.sh b/Src/PRuntimes/PExplicitRuntime/regressionTestScript.sh
diff --git a/benchmarksRuns.sh b/benchmarksRuns.sh
@@ -5,10 +5,9 @@ echo "-------------------Build Over---------------------------"
 cd -
 cd ../../scriptsRepo/src/P-Evaluation-Tests/
 echo "Running script ..."
-# ./scripts/run_pexplicitzshrc.sh /Users/xashisk/ashish-ws/SyncedForkedRepo/P/Tutorial/1_ClientServer test -tc tcMultipleClients  --seed 0 -t 10 -s 0 -v 3 --schedules-per-task 2 --nproc 2 --no-backtrack
-# ./scripts/run_pexplicitzshrc.sh /Users/xashisk/ashish-ws/scriptsRepo/src/P-Evaluation-Tests/sample/PingPong/pingPongNew test  --seed 0 -t 10 -s 0 -v 3 --schedules-per-task 2 --nproc 2 --no-backtrack
-./scripts/run_pexplicitzshrc.sh /Users/xashisk/ashish-ws/SyncedForkedRepo/P/Tst/RegressionTests/Feature1SMLevelDecls/DynamicError/AlonBug test  --seed 0 -t 10 -s 0 -v 3 --schedules-per-task 2 --nproc 1 --no-backtrack
-# ./scripts/run_pexplicitzshrc.sh /Users/xashisk/ashish-ws/SyncedForkedRepo/P/Tst/RegressionTests/Feature1SMLevelDecls/Correct/bug1 test  --seed 0 -t 10 -s 0 -v 3 --schedules-per-task 2 --nproc 1 --no-backtrack
+./scripts/run_pexplicitzshrc.sh /Users/xashisk/ashish-ws/SyncedForkedRepo/P/Tst/RegressionTests/Integration/DynamicError/SEM_OneMachine_8 test  --seed 0 -t 10 -s 0 -v 3 --schedules-per-task 2 --nproc 1 --no-backtrack
+# ./scripts/run_pexplicitzshrc.sh /Users/xashisk/ashish-ws/SyncedForkedRepo/P/Tst/RegressionTests/Feature2Stmts/DynamicError/GotoStmt1 test  --seed 0 -t 10 -s 0 -v 3 --schedules-per-task 2 --nproc 1 --no-backtrack
+# ./scripts/run_pexplicitzshrc.sh /Users/xashisk/ashish-ws/SyncedForkedRepo/P/Tst/RegressionTests/Feature2Stmts/DynamicError/receive6 test  --seed 0 -t 10 -s 0 -v 3 --schedules-per-task 2 --nproc 1 --no-backtrack
 
 
 cd -