phat icon indicating copy to clipboard operation
phat copied to clipboard

make sure test execution is reproducible

Open pveber opened this issue 10 years ago • 1 comments

It seems to me that ounit runs tests in parallel, which makes our use of Random functions not reproducible. This is not great for (cross-platform) debugging, and should be fixed.

  • [ ] ensure tests are reproducible and controlled by a unique seed
  • [ ] add a command line option to set the seed

pveber avatar Dec 12 '15 09:12 pveber

Perhaps this would be facilitated by using Core's Quickcheck, as suggested in #20. It appears to have well defined support for this.

agarwal avatar Dec 14 '15 22:12 agarwal