MCPcopy Create free account
hub / github.com/PLSysSec/wave / check_get_components

Function check_get_components

tools/fuzz-gen/out.rs:649–654  ·  view source on GitHub ↗
(vec_path: PathBuf)

Source from the content-addressed store, hash-verified

647}
648#[quickcheck_macros::quickcheck]
649fn check_get_components(vec_path: PathBuf) -> TestResult {
650 init();
651 let path = &vec_path;
652 let result = get_components(path);
653 TestResult::passed()
654}
655#[quickcheck_macros::quickcheck]
656fn check_addr_matches_netlist_entry(
657 vec_netlist: Netlist,

Callers

nothing calls this directly

Calls 2

initFunction · 0.85
get_componentsFunction · 0.85

Tested by

no test coverage detected