[m-rev.] diff: disable a test case in C# and Java grades
Julien Fischer
jfischer at opturion.com
Sat Oct 4 22:39:37 AEST 2025
Disable a test case in C# and Java grades.
tests/parj_conj/Mmakefile:
Disable the pathological_right_recursion test in C# and Java grades.
For those target languages, this test will exceed the default stack limits
in the respective runtimes. While it is possible for the test to succeed
by increasing those limits, it's not worth the trouble here as this is a
test for parallel conjunction and that is not currently supported when the
target language is C# or Java.
Julien.
diff --git a/tests/par_conj/Mmakefile b/tests/par_conj/Mmakefile
index 43c2d217a..16b2b0410 100644
--- a/tests/par_conj/Mmakefile
+++ b/tests/par_conj/Mmakefile
@@ -58,7 +58,6 @@ DEP_PAR_CONJ_PROGS = \
dep_par_28 \
dep_par_29 \
impure_wait \
- pathological_right_recursion \
produce_in_nondet_disj
INDEP_PAR_CONJ_PROGS = \
@@ -67,8 +66,12 @@ INDEP_PAR_CONJ_PROGS = \
par_fib
# threads_hang has a predicate that is implemented only for C.
+# pathological_right_recursion exceeds the default stack limits for both the C#
+# and Java runtimes. Since parallel conjunction is currently only supported by
+# the C grades, we only enable it for them.
ifeq "$(filter java% csharp%,$(GRADE))" ""
INDEP_PAR_CONJ_C_PROGS = \
+ pathological_right_recursion \
threads_hang
else
INDEP_PAR_CONJ_C_PROGS =
More information about the reviews
mailing list