Context

This will close #2843 (closed)

The solution is to fix the seed by using Random.State to the random state generators for each. Thanks to Joel for teaching me this trick.

Manually testing the MR

Still same test

dune exec src/proto_alpha/lib_protocol/test/pbt/test_refutation_game.exe

Edited Jul 11, 2022 by Valentin Chaboche