law stack_newest_on_tie

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

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

287# two filters with the same action: the newer one wins, with its data
288law stack_newest_on_tie:
289  {S.seccomp_eval([deny(39, 1), deny(39, 2)], S.seccomp_order(), sc_call(39, S.seccomp_arch_x86_64())) == Done{S.SeccompErrno{1}} : Result<&2, &2, I.BpfError, S.SeccompAction>}