law action_round_trip

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

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

110law action_round_trip:
111  for a: S.SeccompAction
112  {S.SeccompAction.of_u32(S.SeccompAction.to_u32(a)) == S.SeccompAction.clip(a) : S.SeccompAction}