public override async Task <StatementProofResult> Eval <TArg1, TResult>(
IStatementMetadata <TArg1, TResult> statement)
{
var statementDataGenerator = DataGeneratorFactory.For(statement.Argument1.Predicate);
for (var i = 0; i < _timesToRun; i++)
{
var trueData = await statementDataGenerator.NextTrue();
if (!await statement.Result.Predicate.Eval(statement.Method(trueData)))
{
return(StatementProofResult.Failed($"Failed on {trueData}."));
}
}
return(StatementProofResult.Successful());
}
public abstract Task <StatementProofResult> Eval <TArg1, TArg2, TArg3, TArg4, TArg5, TArg6, TArg7, TArg8, TResult>(
IStatementMetadata <TArg1, TArg2, TArg3, TArg4, TArg5, TArg6, TArg7, TArg8, TResult> statement);
public abstract Task <StatementProofResult> Eval <TArg1, TResult>(
IStatementMetadata <TArg1, TResult> statement);
public override Task <StatementProofResult> Eval <TArg1, TArg2, TArg3, TArg4, TArg5, TArg6, TArg7, TArg8, TResult>(
IStatementMetadata <TArg1, TArg2, TArg3, TArg4, TArg5, TArg6, TArg7, TArg8, TResult> statement)
{
throw new NotImplementedException();
}
