samples: bpf: add a verifier test and summary line
authorAlexei Starovoitov <ast@plumgrid.com>
Tue, 28 Oct 2014 22:11:42 +0000 (15:11 -0700)
committerDavid S. Miller <davem@davemloft.net>
Thu, 30 Oct 2014 19:44:37 +0000 (15:44 -0400)
commit342ded409608f84fe929216efe0ca2d45e2656be
tree5af9807e4493d1a8d5cb46f53a87ede0d9b0bfa8
parent9c3997601d51069ec08d7d06cf31a17884056cc2
samples: bpf: add a verifier test and summary line

- add a test specifically targeting verifier state pruning.
It checks state propagation between registers, storing that
state into stack and state pruning algorithm recognizing
equivalent stack and register states.

- add summary line to spot failures easier

Signed-off-by: Alexei Starovoitov <ast@plumgrid.com>
Signed-off-by: David S. Miller <davem@davemloft.net>
samples/bpf/test_verifier.c