On 6/7/23 2:39 PM, Maxim Mikityanskiy wrote: [...]
v4 changes:
Dropped supposedly redundant tests, kept the ones that result in different verifier verdicts. Dropped the variable that is not yet useful in this patch. Rephrased the commit message with Daniel's suggestions.
Andrii mentioned he did some veristat measurements and they looked good to him. Looks like patchbot didn't reply, I've pushed it to bpf, thanks!