On Sat, 13 Nov 2021 at 01:27, Alexei Starovoitov <alexei.starovoitov@xxxxxxxxx> wrote: > > Not sure how you've tested it, but it doesn't work in unpriv: > $ test_verifier 789 > #789/u map in map state pruning FAIL > processed 26 insns (limit 1000000) max_states_per_insn 0 total_states > 2 peak_states 2 mark_read 1 > #789/p map in map state pruning OK Strange, I have a script that I use for bisecting which uses a minimal .config + virtue to run a vm, plus I was debugging in gdb at the same time. I might have missed this, apologies. I guess vmtest.sh is the canonical way to run tests now? -- Lorenz Bauer | Systems Engineer 6th Floor, County Hall/The Riverside Building, SE1 7PB, UK www.cloudflare.com