miden_stdlib_sys/intrinsics/
debug.rs

1#[link(wasm_import_module = "miden:core-import/intrinsics-debug@1.0.0")]
2extern "C" {
3    #[link_name = "break"]
4    fn extern_break();
5}
6
7/// Sets a breakpoint in the emitted Miden Assembly at the point this function is called.
8#[inline(always)]
9#[track_caller]
10pub fn breakpoint() {
11    unsafe {
12        extern_break();
13    }
14}