public void WhenIterationsIsZero_ItPasses(
[Seed] int seed,
[Size] int size,
bool isPropertyFallible)
{
Action action = () => DevGen
.Int32()
.ForAll(_ => isPropertyFallible)
.Assert(iterations: 0, seed: seed, size: size);
action.Should().NotThrow();
}
public void ItCanFailForABooleanProperty(
[Iterations] int iterations,
[Seed] int seed,
[Size] int size)
{
Action action = () => DevGen
.Int32()
.ForAll(_ => false)
.Assert(iterations: iterations, seed: seed, size: size);
action.Should().Throw <GalaxyCheck.Runners.PropertyFailedException>();
}
public void ItCanPassForABooleanProperty(
[Iterations] int iterations,
[Seed] int seed,
[Size] int size)
{
Action action = () => DevGen
.Int32()
.ForAll(_ => true)
.Assert(iterations: iterations, seed: seed, size: size);
action.Should().NotThrow();
}
public void ItCanFailForAVoidProperty_NthIteration(
[Iterations(minIterations: 2)] int iterations,
[Seed] int seed,
[Size] int size)
{
var iterationCounter = 0;
var hasFailed = false;
Action action = () => DevGen
.Int32()
.ForAll(_ =>
{
iterationCounter++;
if (iterationCounter >= iterations && !hasFailed)
{
hasFailed = true;
Assert.True(false);
}
})
.Assert(iterations: iterations, seed: seed, size: size);
action.Should().Throw <GalaxyCheck.Runners.PropertyFailedException>();
}
public static IGen <Func <T0, T1, T2, T3, TResult> > FunctionOf <T0, T1, T2, T3, TResult>(
this IGen <TResult> returnGen,
int?invocationLimit = 1000) =>
Gen.Function <T0, T1, T2, T3, TResult>(returnGen, invocationLimit);
public static Property <object[]> Nullary(Func <bool> func) => new Property <object[]>(
Gen.Constant(new object[] { }).Select(x => TestFactory.Create <object[]>(
x,
func,
x)));