law witness_skip_length

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

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

343law witness_skip_length:
344  {List.length(&2, I.BpfOp, [I.BpfTax{}, I.BpfTxa{}, I.BpfNeg{}]) == U32.to_nat(3) : Nat}