MCPcopy Create free account
hub / github.com/Technolution/rustig / create_procedure

Function create_procedure

lib/panic_analysis/src/marker/panic.rs:113–151  ·  view source on GitHub ↗

Helper method for creating procedures

(
        procedure_name: String,
        entry_point: bool,
        panic: bool,
        analysis_target: bool,
    )

Source from the content-addressed store, hash-verified

source not stored for this graph (policy: none)

Callers 8

test_marks_correctlyFunction · 0.70
test_trace_basic_panicFunction · 0.70
test_trace_loop_panicFunction · 0.70
test_trace_2paths_panicFunction · 0.70
test_trace_double_panicFunction · 0.70

Calls 1

buildMethod · 0.80

Tested by 8

test_marks_correctlyFunction · 0.56
test_trace_basic_panicFunction · 0.56
test_trace_loop_panicFunction · 0.56
test_trace_2paths_panicFunction · 0.56
test_trace_double_panicFunction · 0.56