[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