I'm sorry, here are a few typos corrected:
When bpf_iter_next() is reached in state C and states_equal() shows
that there is potentially equivalent state V:
- - copy C' of C is created sing copy_verifier_state(), it updates all
+ - copy C' of C is created using copy_verifier_state(), it updates all
branch counters up the ownership chain as with any other state;
Upon first discovery the loop state C is states_equal to some state V,
precision and read marks are not yet finalized and thus states_equal(V, C)
- become false at some point. Also, C should not be used for states pruning.
+ might become false at some point. Also, C should not be used for states pruning.
