Wander Lairson Costa [off-list ref] writes:

This patch series introduces a number of fixes and improvements to the
RV Generator (rvgen) tool in tools/verification. The primary goal is to
enhance the tool's robustness, maintainability, and correctness by
addressing several latent bugs, modernizing the Python codebase, and
improving its overall structure and error handling.

Great, someone who knows python is fixing our mess.

I had a brief look and they look reasonable. I will do an actual review
when I have time for it. Thanks so much for this work.

Nam