void AssertError(GalaxyCheck.IGen <object> gen) { Action action = () => gen.SampleOne(seed: seed, size: size); action.Should() .Throw <GalaxyCheck.Exceptions.GenErrorException>() .WithMessage("Error while running generator ChooseGen: 'choices' must be non-empty"); }
public void FourGeneratesLikeZip( [Seed] int seed, [Size] int size, [PickGen] GalaxyCheck.IGen <object> gen) { List <(object, object, object, object)> SampleTraversal(GalaxyCheck.IGen <(object, object, object, object)> gen) => gen.SampleOneTraversal(seed: seed, size: size); var gen0 = gen.Four(); var gen1 = GalaxyCheck.Gen.Zip(gen, gen, gen, gen); SampleTraversal(gen0).Should().BeEquivalentTo(SampleTraversal(gen1)); }
public void ItErrorsWhenMaximumCountIsNegative( [Seed] int seed, [Size] int size, [PickGen] GalaxyCheck.IGen <object> elementGen, [LessThanEqual(-1)] int maxCount) { var gen = GalaxyCheck.Gen.Set(elementGen).WithCountLessThanEqual(maxCount); Action test = () => gen.SampleOne(seed: seed, size: size); test.Should() .Throw <GalaxyCheck.Exceptions.GenErrorException>() .WithMessage("Error while running generator SetGen: 'maxCount' cannot be negative"); }
private static List <T> SampleTraversal <T>(GalaxyCheck.IGen <T> gen, int seed, int size) => gen.Advanced .SampleOneExampleSpace(seed: seed, size: size) .Traverse() .Take(100) .ToList();
List <short> SampleTraversal(GalaxyCheck.IGen <short> gen) => gen.SampleOneTraversal(seed: seed, size: size);
List <ISet <int> > SampleTraversal(GalaxyCheck.IGen <ISet <int> > gen) => AboutGeneratingSets.SampleTraversal(gen, seed, size);
List <int[]> SampleTraversal(GalaxyCheck.IGen <int[]> gen) => AboutGeneratingArrays.SampleTraversal(gen, seed, size);
List <List <int> > SampleTraversal(GalaxyCheck.IGen <List <int> > gen) => AboutGeneratingCollections.SampleTraversal(gen, seed, size);
List <string> SampleTraversal(GalaxyCheck.IGen <string> gen) => AboutDefaults.SampleTraversal(gen, seed: seed, size: size);
List <object> SampleTraversal(GalaxyCheck.IGen <object> gen, int seed) => AboutValueProduction.SampleTraversal(gen, seed, size);
List <long> SampleTraversal(GalaxyCheck.IGen <long> gen) => gen.SampleOneTraversal(seed: seed, size: size);
IReadOnlyList <object> Sample(GalaxyCheck.IGen <IReadOnlyList <object> > gen, int seed) => gen.SampleOne(seed: seed, size: size);
List <IReadOnlyList <object> > SampleTraversal(GalaxyCheck.IGen <IReadOnlyList <object> > gen) => AboutDefaults.SampleTraversal(gen, seed: seed, size: size);
List <string> SampleTraversal(GalaxyCheck.IGen <string> gen) => AboutValueProduction.SampleTraversal(gen, seed, size);