public void NonNullShrinksToNull([Seed] int seed, [Size] int size)
{
var gen = GalaxyCheck.Gen.Nullable(GalaxyCheck.Gen.String());
var sample = gen.SampleOneTraversal(seed: seed, size: size);
Property.Precondition(sample.First() != null);
sample.Should().HaveElementAt(1, null);
}
public void FalseDoesNotShrink([Seed] int seed, [Size] int size)
{
var gen = GalaxyCheck.Gen.Boolean();
var sample = gen.SampleOneTraversal(seed: seed, size: size);
Property.Precondition(sample.First() == false);
sample.Should().HaveCount(1);
}
public void NullDoesNotShrink([Seed] int seed, [Size] int size)
{
var gen = GalaxyCheck.Gen.Nullable(GalaxyCheck.Gen.String());
var sample = gen.SampleOneTraversal(seed: seed, size: size);
Property.Precondition(sample.First() == null);
sample.Should().HaveCount(1);
}
public void TrueShrinksToFalse([Seed] int seed, [Size] int size)
{
var gen = GalaxyCheck.Gen.Boolean();
var sample = gen.SampleOneTraversal(seed: seed, size: size);
Property.Precondition(sample.First() == true);
sample.Should().HaveCount(2);
sample.Should().EndWith(false);
}
