Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
runtests: run with --rng-seed, to make the tests repeatable
This avoids spurious test failures due to variations in the rng seed.
- Loading branch information