diff --git a/Src/PRuntimes/PSymRuntime/src/test/java/psym/TestSymbolicRegression.java b/Src/PRuntimes/PSymRuntime/src/test/java/psym/TestSymbolicRegression.java index af76dcdf8..1b7761a13 100644 --- a/Src/PRuntimes/PSymRuntime/src/test/java/psym/TestSymbolicRegression.java +++ b/Src/PRuntimes/PSymRuntime/src/test/java/psym/TestSymbolicRegression.java @@ -81,6 +81,9 @@ private static void createExcludeList() { // TODO Unsupported: continue statement excluded.add("../../../Tst/RegressionTests/Feature2Stmts/Correct/foreach2"); + excluded.add("../../../Tst/RegressionTests/Feature2Stmts/Correct/foreach4"); + excluded.add("../../../Tst/RegressionTests/Feature2Stmts/DynamicError/foreach2"); + excluded.add("../../../Tst/RegressionTests/Feature2Stmts/DynamicError/foreach4"); excluded.add("../../../Tst/RegressionTests/Feature2Stmts/DynamicError/continue1"); // TODO Unsupported: receive in state exit functions