summaryrefslogtreecommitdiff
path: root/testsuite/tests/frame-pointers
diff options
context:
space:
mode:
authorDamien Doligez <damien.doligez@inria.fr>2023-04-25 15:25:52 +0100
committerGitHub <noreply@github.com>2023-04-25 16:25:52 +0200
commit0a7c5fe35f4be2ea5c834b586fb5e947bd952377 (patch)
tree0d66e63cda683098b81ef07f2dad09e9a9c85477 /testsuite/tests/frame-pointers
parent6be361ffd75a2fce5f4daa21fd5073b9a18ce31c (diff)
downloadocaml-0a7c5fe35f4be2ea5c834b586fb5e947bd952377.tar.gz
New script language for ocamltest (#12185)
New test script language, all tests translated automatically (see `tools/translate-all-tests`).
Diffstat (limited to 'testsuite/tests/frame-pointers')
-rw-r--r--testsuite/tests/frame-pointers/c_call.ml10
-rw-r--r--testsuite/tests/frame-pointers/effects.ml10
-rw-r--r--testsuite/tests/frame-pointers/exception_handler.ml10
-rw-r--r--testsuite/tests/frame-pointers/reperform.ml11
-rw-r--r--testsuite/tests/frame-pointers/stack_realloc.ml11
-rw-r--r--testsuite/tests/frame-pointers/stack_realloc2.ml11
6 files changed, 24 insertions, 39 deletions
diff --git a/testsuite/tests/frame-pointers/c_call.ml b/testsuite/tests/frame-pointers/c_call.ml
index c2493b3a99..7d48b4947d 100644
--- a/testsuite/tests/frame-pointers/c_call.ml
+++ b/testsuite/tests/frame-pointers/c_call.ml
@@ -1,10 +1,8 @@
(* TEST
-
-* frame_pointers
-** native
-readonly_files = "fp_backtrace.c c_call_.c"
-all_modules = "${readonly_files} c_call.ml"
-
+ frame_pointers;
+ readonly_files = "fp_backtrace.c c_call_.c";
+ all_modules = "${readonly_files} c_call.ml";
+ native;
*)
external fp_backtrace : unit -> unit = "fp_backtrace"
diff --git a/testsuite/tests/frame-pointers/effects.ml b/testsuite/tests/frame-pointers/effects.ml
index e14633a374..2aa7012606 100644
--- a/testsuite/tests/frame-pointers/effects.ml
+++ b/testsuite/tests/frame-pointers/effects.ml
@@ -1,10 +1,8 @@
(* TEST
-
-* frame_pointers
-** native
-readonly_files = "fp_backtrace.c"
-all_modules = "${readonly_files} effects.ml"
-
+ frame_pointers;
+ readonly_files = "fp_backtrace.c";
+ all_modules = "${readonly_files} effects.ml";
+ native;
*)
open Printf
diff --git a/testsuite/tests/frame-pointers/exception_handler.ml b/testsuite/tests/frame-pointers/exception_handler.ml
index 575f7329bf..6bf5bf470d 100644
--- a/testsuite/tests/frame-pointers/exception_handler.ml
+++ b/testsuite/tests/frame-pointers/exception_handler.ml
@@ -1,10 +1,8 @@
(* TEST
-
-* frame_pointers
-** native
-readonly_files = "fp_backtrace.c"
-all_modules = "${readonly_files} exception_handler.ml"
-
+ frame_pointers;
+ readonly_files = "fp_backtrace.c";
+ all_modules = "${readonly_files} exception_handler.ml";
+ native;
*)
(* https://github.com/ocaml/ocaml/pull/11031 *)
diff --git a/testsuite/tests/frame-pointers/reperform.ml b/testsuite/tests/frame-pointers/reperform.ml
index 1af8452e5f..ec5393907c 100644
--- a/testsuite/tests/frame-pointers/reperform.ml
+++ b/testsuite/tests/frame-pointers/reperform.ml
@@ -1,11 +1,8 @@
(* TEST
-
-* frame_pointers
-** native
-
-readonly_files = "fp_backtrace.c"
-all_modules = "${readonly_files} reperform.ml"
-
+ frame_pointers;
+ readonly_files = "fp_backtrace.c";
+ all_modules = "${readonly_files} reperform.ml";
+ native;
*)
open Effect
diff --git a/testsuite/tests/frame-pointers/stack_realloc.ml b/testsuite/tests/frame-pointers/stack_realloc.ml
index 79e70c2add..fc4e9e9d3b 100644
--- a/testsuite/tests/frame-pointers/stack_realloc.ml
+++ b/testsuite/tests/frame-pointers/stack_realloc.ml
@@ -1,11 +1,8 @@
(* TEST
-
-* frame_pointers
-** native
-
-readonly_files = "fp_backtrace.c stack_realloc_.c"
-all_modules = "${readonly_files} stack_realloc.ml"
-
+ frame_pointers;
+ readonly_files = "fp_backtrace.c stack_realloc_.c";
+ all_modules = "${readonly_files} stack_realloc.ml";
+ native;
*)
open Effect
diff --git a/testsuite/tests/frame-pointers/stack_realloc2.ml b/testsuite/tests/frame-pointers/stack_realloc2.ml
index a3d21bf2bf..a4aea249ea 100644
--- a/testsuite/tests/frame-pointers/stack_realloc2.ml
+++ b/testsuite/tests/frame-pointers/stack_realloc2.ml
@@ -1,11 +1,8 @@
(* TEST
-
-* frame_pointers
-** native
-
-readonly_files = "fp_backtrace.c stack_realloc_.c"
-all_modules = "${readonly_files} stack_realloc2.ml"
-
+ frame_pointers;
+ readonly_files = "fp_backtrace.c stack_realloc_.c";
+ all_modules = "${readonly_files} stack_realloc2.ml";
+ native;
*)
open Effect