/// <inheritdoc/>
public SmartContractValidationResult Validate(ModuleDefinition moduleDefinition)
{
ValidationPolicy policy = DeterminismPolicy.Default;
var validator = new ModulePolicyValidator(policy);
IEnumerable <ValidationResult> validationResults = validator.Validate(moduleDefinition);
return(new SmartContractValidationResult(validationResults));
}
public SmartContractValidationResult Validate(ModuleDefinition moduleDefinition)
{
ValidationPolicy policy = ValidationPolicy.FromExisting(new[] { FormatPolicy.Default, DeterminismPolicy.Default });
var validator = new ModulePolicyValidator(policy);
List <ValidationResult> results = validator.Validate(moduleDefinition).ToList();
return(new SmartContractValidationResult(results));
}
public SmartContractValidationResult Validate(ModuleDefinition moduleDefinition)
{
ValidationPolicy policy = FormatPolicy.Default;
var validator = new ModulePolicyValidator(policy);
List <ValidationResult> results = validator.Validate(moduleDefinition).ToList();
return(new SmartContractValidationResult(results));
}
