diff options
| author | Eduard Zingerman <[email protected]> | 2023-10-24 03:09:17 +0300 |
|---|---|---|
| committer | Alexei Starovoitov <[email protected]> | 2023-10-23 21:49:32 -0700 |
| commit | b4d8239534fddc036abe4a0fdbf474d9894d4641 (patch) | |
| tree | 3dc1fcf7ed24072d47e2cab602fda5476f7171b7 /scripts/generate_rust_analyzer.py | |
| parent | 64870feebecb7130291a55caf0ce839a87405a70 (diff) | |
bpf: print full verifier states on infinite loop detection
Additional logging in is_state_visited(): if infinite loop is detected
print full verifier state for both current and equivalent states.
Acked-by: Andrii Nakryiko <[email protected]>
Signed-off-by: Eduard Zingerman <[email protected]>
Link: https://lore.kernel.org/r/[email protected]
Signed-off-by: Alexei Starovoitov <[email protected]>
Diffstat (limited to 'scripts/generate_rust_analyzer.py')
0 files changed, 0 insertions, 0 deletions