type BpfValidateOptions

bend-osdev-bpf@0.1.0.0 · validate.bend:27

import Base

27# the choices validation offers: the instruction limit, and whether every
28# scratch read must follow a write on every path
29type BpfValidateOptions is Data:
30  BpfValidateOptions{max_insns: Nat, require_mem_init: Bool}