miden_stdlib_sys/intrinsics/
debug.rs

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