removing JPF tests

unl-pal · Dec 18, 2024 · 310b7e6 · 310b7e6
1 parent 33a9d05
commit 310b7e6
Show file tree

Hide file tree

Showing 20 changed files with 0 additions and 520 deletions.
diff --git a/src/tests/expr/AssignmentRhsSub.java b/src/tests/expr/AssignmentRhsSub.java
diff --git a/src/tests/expr/AssignmentRhsSub_T.java b/src/tests/expr/AssignmentRhsSub_T.java
diff --git a/src/tests/expr/Box.java b/src/tests/expr/Box.java
diff --git a/src/tests/expr/ForStmtInfixExprSub.java b/src/tests/expr/ForStmtInfixExprSub.java
diff --git a/src/tests/expr/ForStmtInfixExprSub_T.java b/src/tests/expr/ForStmtInfixExprSub_T.java
diff --git a/src/tests/expr/IfStmtExprSub.java b/src/tests/expr/IfStmtExprSub.java
diff --git a/src/tests/expr/IfStmtExprSub_T.java b/src/tests/expr/IfStmtExprSub_T.java
diff --git a/src/tests/expr/InfixBoolExprSub.java b/src/tests/expr/InfixBoolExprSub.java
diff --git a/src/tests/expr/InfixBoolExprSub_T.java b/src/tests/expr/InfixBoolExprSub_T.java
diff --git a/src/tests/expr/InfixNumericExprSub.java b/src/tests/expr/InfixNumericExprSub.java
diff --git a/src/tests/expr/InfixNumericExprSub_T.java b/src/tests/expr/InfixNumericExprSub_T.java
diff --git a/src/tests/expr/ReturnStmtExprSub.java b/src/tests/expr/ReturnStmtExprSub.java
diff --git a/src/tests/expr/ReturnStmtExprSub_T.java b/src/tests/expr/ReturnStmtExprSub_T.java
diff --git a/src/tests/stmt/Box.java b/src/tests/stmt/Box.java