diff options
| author | Eduard Zingerman | 2023-11-21 04:07:01 +0200 |
|---|---|---|
| committer | Alexei Starovoitov | 2023-11-20 18:36:40 -0800 |
| commit | 57e2a52deeb12ab84c15c6d0fb93638b5b94001b (patch) | |
| tree | 807b0cdc43a76fe532c17fc31e96413c82161e1a /.gitattributes | |
| parent | bb124da69c47dd98d69361ec13244ece50bec63e (diff) | |
selftests/bpf: check if max number of bpf_loop iterations is tracked
Check that even if bpf_loop() callback simulation does not converge to
a specific state, verification could proceed via "brute force"
simulation of maximal number of callback calls.
Signed-off-by: Eduard Zingerman <eddyz87@gmail.com>
Link: https://lore.kernel.org/r/20231121020701.26440-12-eddyz87@gmail.com
Signed-off-by: Alexei Starovoitov <ast@kernel.org>
Diffstat (limited to '.gitattributes')
0 files changed, 0 insertions, 0 deletions