daumayr opened this issue 6 years ago · 2 comments
Trace TimerPrim to make it deterministic in replay. Remember to enable the non-deterministic validation tests
@daumayr this is solved, and completed with #264, right?
yes, the tests have been enabled