Function empty_netlist

src/tcb/misc.rs:191–199

()

#[with_ghost_var(trace: &mut Trace)]
#[trusted]
pub fn empty_netlist() -> Netlist {
    let empty = NetEndpoint {
        protocol: WasiProto::Unknown,
        addr: 0,
        port: 0,
    };

    [empty, empty, empty, empty]
}

// this shouldn't need to be trusted, but prusti does not casting an enum to an int
#[trusted]