Minor - P4 __rec_txn_read() code order cleanup:
We clear the chosen update (based on birthmarks), at a strange point in the code, literally in-between another test and the exercise of the test result, and it's confusing.
__rec_txn_read() code order cleanup:
We clear the chosen update (based on birthmarks), at a strange point in the code, literally in-between another test and the exercise of the test result, and it's confusing.