aboutsummaryrefslogtreecommitdiff
path: root/scripts
diff options
context:
space:
mode:
authorEduard Zingerman2023-11-21 04:07:01 +0200
committerAlexei Starovoitov2023-11-20 18:36:40 -0800
commit57e2a52deeb12ab84c15c6d0fb93638b5b94001b (patch)
tree807b0cdc43a76fe532c17fc31e96413c82161e1a /scripts
parentbb124da69c47dd98d69361ec13244ece50bec63e (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 'scripts')
0 files changed, 0 insertions, 0 deletions