The thing I didn't like with specifying it manually was that it tends to make it highly dependent on the code that is being tested. If the code changes to use two calls to random instead of just one for every result, the test code would probably need to be changed. This drawback may be less of a problem that the benefits we would get with specifying the numbers directly, though.