diff options
author | Damien Doligez <damien.doligez@inria.fr> | 2022-07-01 15:19:13 +0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2022-07-01 15:19:13 +0200 |
commit | 4e8f3848ead765df82548fae28c55267462354e2 (patch) | |
tree | f349901f0e0c73d8e3b9c29f508f741259e12555 /testsuite/tests/tool-debugger/find-artifacts | |
parent | e8d588f10dfa86b396542f4c5ac1a542e72eab6b (diff) | |
download | ocaml-4e8f3848ead765df82548fae28c55267462354e2.tar.gz |
Restore basic functionality to the bytecode debugger (#11065)
* debugger: the main program is now code fragment number 3 instead of 0
* debugger: update to handle stack backtrace in the presence of fibers
* Fix embedded file name (and line number) for stdlib.ml.in to get error
messages right and install it so the debugger can step through it.
* Stop cleanly if a program being debugged spawns a domain. It is still possible to debug the program up to the point it spawns a new domain. This is the same solution we used in #10594 for programs that create threads.
* fix the trap barrier and make it work with algebraic effects (aka fibers)
* use Caml_inline instead of inline
* debugger: use fiber id instead of address
* re-enable debugger tests
* re-enable dynlink debugging
Diffstat (limited to 'testsuite/tests/tool-debugger/find-artifacts')
-rw-r--r-- | testsuite/tests/tool-debugger/find-artifacts/debuggee.ml | 22 |
1 files changed, 10 insertions, 12 deletions
diff --git a/testsuite/tests/tool-debugger/find-artifacts/debuggee.ml b/testsuite/tests/tool-debugger/find-artifacts/debuggee.ml index 7c6f00c70f..70aee3ff04 100644 --- a/testsuite/tests/tool-debugger/find-artifacts/debuggee.ml +++ b/testsuite/tests/tool-debugger/find-artifacts/debuggee.ml @@ -1,27 +1,25 @@ (* TEST ocamldebug_script = "${test_source_directory}/input_script" -* skip -reason = "ocamldebug is broken (#34)" -** debugger -*** shared-libraries -**** setup-ocamlc.byte-build-env -***** script +* debugger +** shared-libraries +*** setup-ocamlc.byte-build-env +**** script script = "mkdir out" -****** ocamlc.byte +***** ocamlc.byte flags = "-g -c" all_modules = "${test_source_directory}/in/blah.ml" program = "out/blah.cmo" -******* ocamlc.byte +****** ocamlc.byte program = "out/foo.cmo" flags = "-I out -g -c" all_modules = "${test_source_directory}/in/foo.ml" -******** ocamlc.byte +******* ocamlc.byte all_modules = "out/blah.cmo out/foo.cmo" flags = " -g " program = "debuggee.exe" -********* check-ocamlc.byte-output -********** ocamldebug -*********** check-program-output +******** check-ocamlc.byte-output +********* ocamldebug +********** check-program-output *) (* This file only contains the specification of how to run the test *) |