Function latch_resets_between_runs

codegraph-kernel/src/stack.rs:264–272

()

    #[test]
    fn latch_resets_between_runs() {
        let deep = format!("void foo(void) {{\n{}{}\n}}\n", "{".repeat(DEPTH), "}".repeat(DEPTH));
        on_small_stack(move || {
            assert!(run_guarded(|| crate::ccpp::extract("deep.c", &deep, "c")).is_err());
            // The latch from the deep file must not poison the next, shallow one.
            let ok = run_guarded(|| crate::ccpp::extract("ok.c", "int x;\n", "c"));
            assert!(ok.is_ok(), "latch leaked into the next run: {:?}", ok.err());
        });
    }
}