public static TestResult Replay(ulong seed, int size, ITestable test)
{
Console.WriteLine(
"Replaying test with seed: ({0}, {1})", seed, size);
IRandom random = s_RandomFactory.NewRandom(seed);
return(test.RunTest(random, size));
}
public static Result Test(ITestable test)
{
const int maxSuccess = 250;
const int maxSize = 100;
int i;
for (i = 0; i < maxSuccess; i++)
{
ulong seed;
IRandom random = s_RandomFactory.NewRandom(out seed);
int size = i % maxSize + 1;
TestResult result = test.RunTest(random, size);
if (result.IsFailure)
{
return(Result.Failure(i + 1, seed, size, result.Args, result.Error));
}
}
return(Result.Success(i + 1));
}
protected virtual object RunTestCase(ITestable testable, TestCase test)
{
return(testable.RunTest(test.Parameter));
}
public void ExecuteTest()
{
stopWatch.Start();
test.RunTest();
stopWatch.Stop();
}
