public void ItErrorsIfTheTypeOfTheGeneratorIsNotAssignableToTheTypeOfTheParameter([Seed] int seed)
{
var gen = GalaxyCheck.Gen.Parameters(
GetMethod(nameof(MethodWithOneParameter)),
customGens: new Dictionary <int, GalaxyCheck.IGen>
{
{ 0, GalaxyCheck.Gen.String() }
});
GenAssert.Errors(
gen,
seed: seed,
expectedMessage: $"Error while running generator ParametersGen: generator of type 'System.String' is not compatible with parameter of type 'System.Int32'");
}
public void ItErrorsIfParameterIndexIsNotOfTheMethod([GreaterThanEqual(1)] int i, [Seed] int seed)
{
var gen = GalaxyCheck.Gen.Parameters(
GetMethod(nameof(MethodWithOneParameter)),
customGens: new Dictionary <int, GalaxyCheck.IGen>
{
{ i, GalaxyCheck.Gen.Int32() }
});
GenAssert.Errors(
gen,
seed: seed,
expectedMessage: $"Error while running generator ParametersGen: parameter index '{i}' of custom generator was not valid");
}
