Function check_empty_netlist

tools/fuzz-gen/out.rs:815–819

()

}
#[quickcheck_macros::quickcheck]
fn check_empty_netlist() -> TestResult {
    init();
    let result = empty_netlist();
    TestResult::passed()
}
#[quickcheck_macros::quickcheck]
fn check_as_u32(e: RuntimeError) -> TestResult {
    init();