On Wed, Sep 21, 2022 at 9:43 AM Andrii Nakryiko <andrii@xxxxxxxxxx> wrote: > > Add three more critical features to veristat tool, which make it sufficient > for a practical work on BPF verifier: Nice tool! Few requests: 1. Please fix -v mode, since veristat -v loop1.bpf.linked3.o hangs forever. Maybe not forever, but I didn't have that much time to find out whether it will finish eventually. 2. Please add some sort of progress indicator to veristat *.linked3.o otherwise it's not clear when it will be done and -v cannot be used to find out because of bug 1. 3. could you make it ignore non bpf elf files? So it can be used just with veristat *.o ?
