law program_round_trip

bend-osdev-bpf@0.1.0.0 · LAWS.bend:73

import Base
import bend-osdev-bpf@0.1.0.0/insn.bend as I

73law program_round_trip:
74  for +prog: List<&2, I.BpfOp>
75  {I.bpf_decode(I.bpf_encode(prog)) == Done{prog} : Result<&2, &2, I.BpfError, List<&2, I.BpfOp>>}