diff options
author | Damien Doligez <damien.doligez@inria.fr> | 2023-04-25 15:25:52 +0100 |
---|---|---|
committer | GitHub <noreply@github.com> | 2023-04-25 16:25:52 +0200 |
commit | 0a7c5fe35f4be2ea5c834b586fb5e947bd952377 (patch) | |
tree | 0d66e63cda683098b81ef07f2dad09e9a9c85477 /testsuite/tests/frame-pointers | |
parent | 6be361ffd75a2fce5f4daa21fd5073b9a18ce31c (diff) | |
download | ocaml-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.ml | 10 | ||||
-rw-r--r-- | testsuite/tests/frame-pointers/effects.ml | 10 | ||||
-rw-r--r-- | testsuite/tests/frame-pointers/exception_handler.ml | 10 | ||||
-rw-r--r-- | testsuite/tests/frame-pointers/reperform.ml | 11 | ||||
-rw-r--r-- | testsuite/tests/frame-pointers/stack_realloc.ml | 11 | ||||
-rw-r--r-- | testsuite/tests/frame-pointers/stack_realloc2.ml | 11 |
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 |