[PSym] exclude an unsupported unit test

p-org · Jul 27, 2023 · 14d92b1 · 14d92b1
1 parent e05acb0
commit 14d92b1
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/Src/PRuntimes/PSymRuntime/src/test/java/psym/TestSymbolicRegression.java b/Src/PRuntimes/PSymRuntime/src/test/java/psym/TestSymbolicRegression.java
@@ -71,6 +71,7 @@ private static void createExcludeList() {
 
     // TODO Unsupported: nested type casting in tuple fields with any type
     excluded.add("../../../Tst/RegressionTests/Feature4DataTypes/Correct/nonAtomicDataTypes");
+    excluded.add("../../../Tst/RegressionTests/Feature3Exprs/Correct/cast3");
 
     // TODO Unsupported: null events
     excluded.add("../../../Tst/RegressionTests/Integration/Correct/openwsn1");