runtime5 only

ocaml-flambda · Jan 10, 2025 · 5af0547 · 5af0547
1 parent 380c0f0
commit 5af0547
Show file tree

Hide file tree

Showing 19 changed files with 19 additions and 2 deletions.
diff --git a/testsuite/tests/effects-api/cmphash.ml b/testsuite/tests/effects-api/cmphash.ml
@@ -1,4 +1,5 @@
 (* TEST
+ runtime5;
  include stdlib_alpha;
 *)
 

diff --git a/testsuite/tests/effects-api/effects.ml b/testsuite/tests/effects-api/effects.ml
@@ -1,4 +1,5 @@
 (* TEST
+ runtime5;
  include stdlib_alpha;
 *)
 

diff --git a/testsuite/tests/effects-api/evenodd.ml b/testsuite/tests/effects-api/evenodd.ml
@@ -1,4 +1,5 @@
 (* TEST
+ runtime5;
  include stdlib_alpha;
 *)
 

diff --git a/testsuite/tests/effects-api/manylive.ml b/testsuite/tests/effects-api/manylive.ml
@@ -1,4 +1,5 @@
 (* TEST
+ runtime5;
  include stdlib_alpha;
 *)
 

diff --git a/testsuite/tests/effects-api/overflow.ml b/testsuite/tests/effects-api/overflow.ml
@@ -1,4 +1,5 @@
 (* TEST
+ runtime5;
  include stdlib_alpha;
 *)
 

diff --git a/testsuite/tests/effects-api/partial.ml b/testsuite/tests/effects-api/partial.ml
@@ -1,4 +1,5 @@
 (* TEST
+ runtime5;
  include stdlib_alpha;
 *)
 

diff --git a/testsuite/tests/effects-api/reperform.ml b/testsuite/tests/effects-api/reperform.ml
@@ -1,4 +1,5 @@
 (* TEST
+ runtime5;
  include stdlib_alpha;
 *)
 

diff --git a/testsuite/tests/effects-api/sched.ml b/testsuite/tests/effects-api/sched.ml
@@ -1,4 +1,5 @@
 (* TEST
+ runtime5;
  include stdlib_alpha;
 *)
 

diff --git a/testsuite/tests/effects-api/shallow_state.ml b/testsuite/tests/effects-api/shallow_state.ml
@@ -1,4 +1,5 @@
 (* TEST
+ runtime5;
  include stdlib_alpha;
 *)
 
@@ -50,4 +51,3 @@ let main () =
 ;;
 
 let _ = main ()
-
diff --git a/testsuite/tests/effects-api/shallow_state_io.ml b/testsuite/tests/effects-api/shallow_state_io.ml
@@ -1,4 +1,5 @@
 (* TEST
+ runtime5;
  include stdlib_alpha;
 *)
 
@@ -57,4 +58,3 @@ let main () =
   Printf.printf "Final state: %d\n" i
 
 let _ = main ()
-
diff --git a/testsuite/tests/effects-api/shallow_state_io_local.ml b/testsuite/tests/effects-api/shallow_state_io_local.ml
@@ -1,4 +1,5 @@
 (* TEST
+ runtime5;
  include stdlib_alpha;
  skip;
  reason = "Local continuations are not supported yet";

diff --git a/testsuite/tests/effects-api/test1.ml b/testsuite/tests/effects-api/test1.ml
@@ -1,4 +1,5 @@
 (* TEST
+ runtime5;
  include stdlib_alpha;
 *)
 

diff --git a/testsuite/tests/effects-api/test10.ml b/testsuite/tests/effects-api/test10.ml
@@ -1,4 +1,5 @@
 (* TEST
+ runtime5;
  include stdlib_alpha;
 *)
 

diff --git a/testsuite/tests/effects-api/test11.ml b/testsuite/tests/effects-api/test11.ml
@@ -1,4 +1,5 @@
 (* TEST
+ runtime5;
  include stdlib_alpha;
 *)
 

diff --git a/testsuite/tests/effects-api/test2.ml b/testsuite/tests/effects-api/test2.ml
@@ -1,4 +1,5 @@
 (* TEST
+ runtime5;
  include stdlib_alpha;
 *)
 

diff --git a/testsuite/tests/effects-api/test3.ml b/testsuite/tests/effects-api/test3.ml
@@ -1,4 +1,5 @@
 (* TEST
+ runtime5;
  include stdlib_alpha;
 *)
 

diff --git a/testsuite/tests/effects-api/test4.ml b/testsuite/tests/effects-api/test4.ml
@@ -1,4 +1,5 @@
 (* TEST
+ runtime5;
  include stdlib_alpha;
 *)
 

diff --git a/testsuite/tests/effects-api/test5.ml b/testsuite/tests/effects-api/test5.ml
@@ -1,4 +1,5 @@
 (* TEST
+ runtime5;
  include stdlib_alpha;
 *)
 

diff --git a/testsuite/tests/effects-api/used_cont.ml b/testsuite/tests/effects-api/used_cont.ml
@@ -1,4 +1,5 @@
 (* TEST
+ runtime5;
  include stdlib_alpha;
 *)