search

Igalia / pflua

Packet filtering in Lua
Other
313 stars 39 forks source link

BPF and pure-lua pipelines diverge on portrange N-M, M<N #129

Closed kbara closed 9 years ago

kbara commented 9 years ago

Using time as seed: 34695539 The property was falsified. The pflang expression was portrange 49577-19673 and the packet number 938 Rerun as: pflua-quickcheck --seed=34695539 --iterations=5 properties/pflua_pipelines_match data/wingolog.pcap

wingo commented 9 years ago

What is the meaning of portrange 49577-19673 ? :)

kbara commented 9 years ago

It's the same as portrange 19673-49577 in tcpdump (the output of tcpdump -d is identical for both).

kbara commented 9 years ago

Fixed with 0a2e824049e1b4dc25c4210a5f9ebafe01a95fbd