Restrict two tests to runtime5

ocaml-flambda · Jan 10, 2025 · a2aa43b · a2aa43b
1 parent 5626bc9
commit a2aa43b
Show file tree

Hide file tree

Showing 2 changed files with 12 additions and 0 deletions.
diff --git a/testsuite/tests/typing-layouts-arrays/test_ignorable_product_array_2.ml b/testsuite/tests/typing-layouts-arrays/test_ignorable_product_array_2.ml
@@ -6,6 +6,7 @@
  modules = "${readonly_files}";
  flambda2;
  arch_amd64;
+ runtime5;
  {
    flags = "-extension layouts_beta";
    bytecode;
@@ -16,6 +17,11 @@
  }
 *)
 
+(* This test exhibited intermittent failures with very low probability on
+   runtime4, and extensive investigation has not found the cause.  It is
+   suspected it might be a problem in the runtime4 GC.  So we have restricted
+   the test to runtime5 at least for now. *)
+
 (* CR mshinwell: enable for arm64 once float32 is available *)
 
 open Gen_product_array_helpers

diff --git a/testsuite/tests/typing-layouts-arrays/test_ignorable_product_array_with_uninit_2.ml b/testsuite/tests/typing-layouts-arrays/test_ignorable_product_array_with_uninit_2.ml
@@ -6,6 +6,7 @@
  modules = "${readonly_files}";
  flambda2;
  arch_amd64;
+ runtime5;
  {
    flags = "-extension layouts_beta";
    bytecode;
@@ -16,6 +17,11 @@
  }
 *)
 
+(* This test exhibited intermittent failures with very low probability on
+   runtime4, and extensive investigation has not found the cause.  It is
+   suspected it might be a problem in the runtime4 GC.  So we have restricted
+   the test to runtime5 at least for now. *)
+
 (* CR mshinwell: enable for arm64 once float32 is available *)
 
 open Gen_product_array_helpers