I added another test case to test the case when seed is specified. This test case is necessary IMO in that it tests the error caused by the randomness is under control.