Files
Richard W.M. Jones 21f82f8c40 extra-tests: Only test 5 random guests.
If you have a lot of guests, running extra tests takes a lot of time,
but (arguably) you're not really doing any more detailed testing.

Thus pick up to 5 guests at random to test.  A different random
selection is done on each run, ensuring that data-driven errors (eg in
inspection) will still be found eventually.
(cherry picked from commit 54a7982dc3)
2012-01-23 17:04:35 +00:00
..