Run nondex with different seed every time
Opened this issue · 0 comments
alexgyori commented
Make a nondex option to run with a different seed every time, and start debugging automatically when a test fails, e.g., you may call this mode -DnondexOnCi=true.