Not a member of Pastebin yet?
Sign Up,
it unlocks many cool features!
- lemma simple_match_valid_alt[code_unfold]: "simple_match_valid = (λ m.
- (let c = (λ(s,e). s ≤ e ∧ (s ≠ 0 ∨ e ≠ max_word)); p = proto_sel (proto m) in (
- if c (sports m) ∨ c (dports m) then proto m ≠ ProtoAny ∧ (p = TCP ∨ p = UDP ∨ p = SCTP) else True)))
- "
Add Comment
Please, Sign In to add comment