Skip to content
Merged
Show file tree
Hide file tree
Changes from all commits
Commits
File filter

Filter by extension

Filter by extension

Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
14 changes: 7 additions & 7 deletions src/GalaxyCheck.Tests/GenTests/CharGenTests/AboutShrinking.cs
Original file line number Diff line number Diff line change
Expand Up @@ -15,31 +15,31 @@ namespace Tests.V2.GenTests.CharGenTests
public class AboutShrinking
{
[Property]
public NebulaCheck.IGen<Test> IfCharTypeHasWhitespace_ItShrinksToSpace() =>
public NebulaCheck.IGen<Test> IfCharTypeHasAlphabetical_ItShrinksToLowercaseA() =>
from charType in TestGen.CharType()
from seed in DomainGen.Seed()
from size in DomainGen.Size()
select Property.ForThese(() =>
{
var gen = GalaxyCheck.Gen.Char(GalaxyCheck.Gen.CharType.Whitespace | charType);
var gen = GalaxyCheck.Gen.Char(GalaxyCheck.Gen.CharType.Alphabetical | charType);

var minimum = gen.Minimum(seed: seed, size: size);

minimum.Should().Be(' ');
minimum.Should().Be('a');
});

[Property]
public NebulaCheck.IGen<Test> OtherwiseIfCharTypeHasAlphabetical_ItShrinksToLowercaseA() =>
from charType in TestGen.CharType(GalaxyCheck.Gen.CharType.Whitespace)
public NebulaCheck.IGen<Test> OtherwiseIfCharTypeHasWhitespace_ItShrinksToSpace() =>
from charType in TestGen.CharType(GalaxyCheck.Gen.CharType.Alphabetical)
from seed in DomainGen.Seed()
from size in DomainGen.Size()
select Property.ForThese(() =>
{
var gen = GalaxyCheck.Gen.Char(GalaxyCheck.Gen.CharType.Alphabetical | charType);
var gen = GalaxyCheck.Gen.Char(GalaxyCheck.Gen.CharType.Whitespace | charType);

var minimum = gen.Minimum(seed: seed, size: size);

minimum.Should().Be('a');
minimum.Should().Be(' ');
});

[Property]
Expand Down
Original file line number Diff line number Diff line change
@@ -1,61 +1,61 @@
<control> (Id = 255, Distance = 100)
├> (Id = 0, Distance = 0)
├> a (Id = 0, Distance = 0)
├> ¡ (Id = 128, Distance = 50.1961...)
| ├> a (Id = 1, Distance = 0.3922...)
| ├> b (Id = 1, Distance = 0.3922...)
| ├> # (Id = 65, Distance = 25.4902...)
| | ├> b (Id = 2, Distance = 0.7843...)
| | ├> H (Id = 34, Distance = 13.3333...)
| | | ├> c (Id = 3, Distance = 1.1765...)
| | | ├> s (Id = 19, Distance = 7.4510...)
| | | | ├> d (Id = 4, Distance = 1.5686...)
| | | | ├> l (Id = 12, Distance = 4.7059...)
| | | | | ├> e (Id = 5, Distance = 1.9608...)
| | | | | ├> i (Id = 9, Distance = 3.5294...)
| | | | | | ├> f (Id = 6, Distance = 2.3529...)
| | | | | | └> h (Id = 8, Distance = 3.1373...)
| | | | | | └> g (Id = 7, Distance = 2.7451...)
| | | | | └> k (Id = 11, Distance = 4.3137...)
| | | | | └> j (Id = 10, Distance = 3.9216...)
| | | | ├> p (Id = 16, Distance = 6.2745...)
| | | | | ├> m (Id = 13, Distance = 5.0980...)
| | | | | └> o (Id = 15, Distance = 5.8824...)
| | | | | └> n (Id = 14, Distance = 5.4902...)
| | | | └> r (Id = 18, Distance = 7.0588...)
| | | | └> q (Id = 17, Distance = 6.6667...)
| | | ├> A (Id = 27, Distance = 10.5882...)
| | | | ├> t (Id = 20, Distance = 7.8431...)
| | | | ├> x (Id = 24, Distance = 9.4118...)
| | | | | ├> u (Id = 21, Distance = 8.2353...)
| | | | | └> w (Id = 23, Distance = 9.0196...)
| | | | | └> v (Id = 22, Distance = 8.6275...)
| | | | └> z (Id = 26, Distance = 10.1961...)
| | | | └> y (Id = 25, Distance = 9.8039...)
| | | ├> E (Id = 31, Distance = 12.1569...)
| | | | ├> B (Id = 28, Distance = 10.9804...)
| | | | └> D (Id = 30, Distance = 11.7647...)
| | | | └> C (Id = 29, Distance = 11.3725...)
| | | └> G (Id = 33, Distance = 12.9412...)
| | | └> F (Id = 32, Distance = 12.5490...)
| | ├> X (Id = 50, Distance = 19.6078...)
| | | ├> I (Id = 35, Distance = 13.7255...)
| | | ├> Q (Id = 43, Distance = 16.8627...)
| | | | ├> J (Id = 36, Distance = 14.1176...)
| | | | ├> N (Id = 40, Distance = 15.6863...)
| | | | | ├> K (Id = 37, Distance = 14.5098...)
| | | | | └> M (Id = 39, Distance = 15.2941...)
| | | | | └> L (Id = 38, Distance = 14.9020...)
| | | | └> P (Id = 42, Distance = 16.4706...)
| | | | └> O (Id = 41, Distance = 16.0784...)
| | | ├> U (Id = 47, Distance = 18.4314...)
| | | | ├> R (Id = 44, Distance = 17.2549...)
| | | | └> T (Id = 46, Distance = 18.0392...)
| | | | └> S (Id = 45, Distance = 17.6471...)
| | | └> W (Id = 49, Distance = 19.2157...)
| | | └> V (Id = 48, Distance = 18.8235...)
| | ├> c (Id = 2, Distance = 0.7843...)
| | ├> I (Id = 34, Distance = 13.3333...)
| | | ├> d (Id = 3, Distance = 1.1765...)
| | | ├> t (Id = 19, Distance = 7.4510...)
| | | | ├> e (Id = 4, Distance = 1.5686...)
| | | | ├> m (Id = 12, Distance = 4.7059...)
| | | | | ├> f (Id = 5, Distance = 1.9608...)
| | | | | ├> j (Id = 9, Distance = 3.5294...)
| | | | | | ├> g (Id = 6, Distance = 2.3529...)
| | | | | | └> i (Id = 8, Distance = 3.1373...)
| | | | | | └> h (Id = 7, Distance = 2.7451...)
| | | | | └> l (Id = 11, Distance = 4.3137...)
| | | | | └> k (Id = 10, Distance = 3.9216...)
| | | | ├> q (Id = 16, Distance = 6.2745...)
| | | | | ├> n (Id = 13, Distance = 5.0980...)
| | | | | └> p (Id = 15, Distance = 5.8824...)
| | | | | └> o (Id = 14, Distance = 5.4902...)
| | | | └> s (Id = 18, Distance = 7.0588...)
| | | | └> r (Id = 17, Distance = 6.6667...)
| | | ├> B (Id = 27, Distance = 10.5882...)
| | | | ├> u (Id = 20, Distance = 7.8431...)
| | | | ├> y (Id = 24, Distance = 9.4118...)
| | | | | ├> v (Id = 21, Distance = 8.2353...)
| | | | | └> x (Id = 23, Distance = 9.0196...)
| | | | | └> w (Id = 22, Distance = 8.6275...)
| | | | └> A (Id = 26, Distance = 10.1961...)
| | | | └> z (Id = 25, Distance = 9.8039...)
| | | ├> F (Id = 31, Distance = 12.1569...)
| | | | ├> C (Id = 28, Distance = 10.9804...)
| | | | └> E (Id = 30, Distance = 11.7647...)
| | | | └> D (Id = 29, Distance = 11.3725...)
| | | └> H (Id = 33, Distance = 12.9412...)
| | | └> G (Id = 32, Distance = 12.5490...)
| | ├> Y (Id = 50, Distance = 19.6078...)
| | | ├> J (Id = 35, Distance = 13.7255...)
| | | ├> R (Id = 43, Distance = 16.8627...)
| | | | ├> K (Id = 36, Distance = 14.1176...)
| | | | ├> O (Id = 40, Distance = 15.6863...)
| | | | | ├> L (Id = 37, Distance = 14.5098...)
| | | | | └> N (Id = 39, Distance = 15.2941...)
| | | | | └> M (Id = 38, Distance = 14.9020...)
| | | | └> Q (Id = 42, Distance = 16.4706...)
| | | | └> P (Id = 41, Distance = 16.0784...)
| | | ├> V (Id = 47, Distance = 18.4314...)
| | | | ├> S (Id = 44, Distance = 17.2549...)
| | | | └> U (Id = 46, Distance = 18.0392...)
| | | | └> T (Id = 45, Distance = 17.6471...)
| | | └> X (Id = 49, Distance = 19.2157...)
| | | └> W (Id = 48, Distance = 18.8235...)
| | ├> 5 (Id = 58, Distance = 22.7451...)
| | | ├> Y (Id = 51, Distance = 20.0)
| | | ├> Z (Id = 51, Distance = 20.0)
| | | ├> 2 (Id = 55, Distance = 21.5686...)
| | | | ├> Z (Id = 52, Distance = 20.3922...)
| | | | ├> (Id = 52, Distance = 20.3922...)
| | | | └> 1 (Id = 54, Distance = 21.1765...)
| | | | └> 0 (Id = 53, Distance = 20.7843...)
| | | └> 4 (Id = 57, Distance = 22.3529...)
Expand Down
Original file line number Diff line number Diff line change
@@ -1,61 +1,61 @@
<control> (Id = 255, Distance = 100)
├> (Id = 0, Distance = 0)
├> a (Id = 0, Distance = 0)
├> ¡ (Id = 128, Distance = 50.1961...)
| ├> a (Id = 1, Distance = 0.3922...)
| ├> b (Id = 1, Distance = 0.3922...)
| ├> # (Id = 65, Distance = 25.4902...)
| | ├> b (Id = 2, Distance = 0.7843...)
| | ├> H (Id = 34, Distance = 13.3333...)
| | | ├> c (Id = 3, Distance = 1.1765...)
| | | ├> s (Id = 19, Distance = 7.4510...)
| | | | ├> d (Id = 4, Distance = 1.5686...)
| | | | ├> l (Id = 12, Distance = 4.7059...)
| | | | | ├> e (Id = 5, Distance = 1.9608...)
| | | | | ├> i (Id = 9, Distance = 3.5294...)
| | | | | | ├> f (Id = 6, Distance = 2.3529...)
| | | | | | └> h (Id = 8, Distance = 3.1373...)
| | | | | | └> g (Id = 7, Distance = 2.7451...)
| | | | | └> k (Id = 11, Distance = 4.3137...)
| | | | | └> j (Id = 10, Distance = 3.9216...)
| | | | ├> p (Id = 16, Distance = 6.2745...)
| | | | | ├> m (Id = 13, Distance = 5.0980...)
| | | | | └> o (Id = 15, Distance = 5.8824...)
| | | | | └> n (Id = 14, Distance = 5.4902...)
| | | | └> r (Id = 18, Distance = 7.0588...)
| | | | └> q (Id = 17, Distance = 6.6667...)
| | | ├> A (Id = 27, Distance = 10.5882...)
| | | | ├> t (Id = 20, Distance = 7.8431...)
| | | | ├> x (Id = 24, Distance = 9.4118...)
| | | | | ├> u (Id = 21, Distance = 8.2353...)
| | | | | └> w (Id = 23, Distance = 9.0196...)
| | | | | └> v (Id = 22, Distance = 8.6275...)
| | | | └> z (Id = 26, Distance = 10.1961...)
| | | | └> y (Id = 25, Distance = 9.8039...)
| | | ├> E (Id = 31, Distance = 12.1569...)
| | | | ├> B (Id = 28, Distance = 10.9804...)
| | | | └> D (Id = 30, Distance = 11.7647...)
| | | | └> C (Id = 29, Distance = 11.3725...)
| | | └> G (Id = 33, Distance = 12.9412...)
| | | └> F (Id = 32, Distance = 12.5490...)
| | ├> X (Id = 50, Distance = 19.6078...)
| | | ├> I (Id = 35, Distance = 13.7255...)
| | | ├> Q (Id = 43, Distance = 16.8627...)
| | | | ├> J (Id = 36, Distance = 14.1176...)
| | | | ├> N (Id = 40, Distance = 15.6863...)
| | | | | ├> K (Id = 37, Distance = 14.5098...)
| | | | | └> M (Id = 39, Distance = 15.2941...)
| | | | | └> L (Id = 38, Distance = 14.9020...)
| | | | └> P (Id = 42, Distance = 16.4706...)
| | | | └> O (Id = 41, Distance = 16.0784...)
| | | ├> U (Id = 47, Distance = 18.4314...)
| | | | ├> R (Id = 44, Distance = 17.2549...)
| | | | └> T (Id = 46, Distance = 18.0392...)
| | | | └> S (Id = 45, Distance = 17.6471...)
| | | └> W (Id = 49, Distance = 19.2157...)
| | | └> V (Id = 48, Distance = 18.8235...)
| | ├> c (Id = 2, Distance = 0.7843...)
| | ├> I (Id = 34, Distance = 13.3333...)
| | | ├> d (Id = 3, Distance = 1.1765...)
| | | ├> t (Id = 19, Distance = 7.4510...)
| | | | ├> e (Id = 4, Distance = 1.5686...)
| | | | ├> m (Id = 12, Distance = 4.7059...)
| | | | | ├> f (Id = 5, Distance = 1.9608...)
| | | | | ├> j (Id = 9, Distance = 3.5294...)
| | | | | | ├> g (Id = 6, Distance = 2.3529...)
| | | | | | └> i (Id = 8, Distance = 3.1373...)
| | | | | | └> h (Id = 7, Distance = 2.7451...)
| | | | | └> l (Id = 11, Distance = 4.3137...)
| | | | | └> k (Id = 10, Distance = 3.9216...)
| | | | ├> q (Id = 16, Distance = 6.2745...)
| | | | | ├> n (Id = 13, Distance = 5.0980...)
| | | | | └> p (Id = 15, Distance = 5.8824...)
| | | | | └> o (Id = 14, Distance = 5.4902...)
| | | | └> s (Id = 18, Distance = 7.0588...)
| | | | └> r (Id = 17, Distance = 6.6667...)
| | | ├> B (Id = 27, Distance = 10.5882...)
| | | | ├> u (Id = 20, Distance = 7.8431...)
| | | | ├> y (Id = 24, Distance = 9.4118...)
| | | | | ├> v (Id = 21, Distance = 8.2353...)
| | | | | └> x (Id = 23, Distance = 9.0196...)
| | | | | └> w (Id = 22, Distance = 8.6275...)
| | | | └> A (Id = 26, Distance = 10.1961...)
| | | | └> z (Id = 25, Distance = 9.8039...)
| | | ├> F (Id = 31, Distance = 12.1569...)
| | | | ├> C (Id = 28, Distance = 10.9804...)
| | | | └> E (Id = 30, Distance = 11.7647...)
| | | | └> D (Id = 29, Distance = 11.3725...)
| | | └> H (Id = 33, Distance = 12.9412...)
| | | └> G (Id = 32, Distance = 12.5490...)
| | ├> Y (Id = 50, Distance = 19.6078...)
| | | ├> J (Id = 35, Distance = 13.7255...)
| | | ├> R (Id = 43, Distance = 16.8627...)
| | | | ├> K (Id = 36, Distance = 14.1176...)
| | | | ├> O (Id = 40, Distance = 15.6863...)
| | | | | ├> L (Id = 37, Distance = 14.5098...)
| | | | | └> N (Id = 39, Distance = 15.2941...)
| | | | | └> M (Id = 38, Distance = 14.9020...)
| | | | └> Q (Id = 42, Distance = 16.4706...)
| | | | └> P (Id = 41, Distance = 16.0784...)
| | | ├> V (Id = 47, Distance = 18.4314...)
| | | | ├> S (Id = 44, Distance = 17.2549...)
| | | | └> U (Id = 46, Distance = 18.0392...)
| | | | └> T (Id = 45, Distance = 17.6471...)
| | | └> X (Id = 49, Distance = 19.2157...)
| | | └> W (Id = 48, Distance = 18.8235...)
| | ├> 5 (Id = 58, Distance = 22.7451...)
| | | ├> Y (Id = 51, Distance = 20.0)
| | | ├> Z (Id = 51, Distance = 20.0)
| | | ├> 2 (Id = 55, Distance = 21.5686...)
| | | | ├> Z (Id = 52, Distance = 20.3922...)
| | | | ├> (Id = 52, Distance = 20.3922...)
| | | | └> 1 (Id = 54, Distance = 21.1765...)
| | | | └> 0 (Id = 53, Distance = 20.7843...)
| | | └> 4 (Id = 57, Distance = 22.3529...)
Expand Down
Original file line number Diff line number Diff line change
@@ -1,58 +1,58 @@
, (Id = 74, Distance = 29.0196...)
├> (Id = 0, Distance = 0)
├> K (Id = 37, Distance = 14.5098...)
| ├> a (Id = 1, Distance = 0.3922...)
| ├> s (Id = 19, Distance = 7.4510...)
| | ├> b (Id = 2, Distance = 0.7843...)
| | ├> k (Id = 11, Distance = 4.3137...)
| | | ├> c (Id = 3, Distance = 1.1765...)
| | | ├> g (Id = 7, Distance = 2.7451...)
| | | | ├> d (Id = 4, Distance = 1.5686...)
| | | | └> f (Id = 6, Distance = 2.3529...)
| | | | └> e (Id = 5, Distance = 1.9608...)
| | | ├> i (Id = 9, Distance = 3.5294...)
| | | | └> h (Id = 8, Distance = 3.1373...)
| | | └> j (Id = 10, Distance = 3.9216...)
| | ├> o (Id = 15, Distance = 5.8824...)
| | | ├> l (Id = 12, Distance = 4.7059...)
| | | └> n (Id = 14, Distance = 5.4902...)
| | | └> m (Id = 13, Distance = 5.0980...)
| | ├> q (Id = 17, Distance = 6.6667...)
| | | └> p (Id = 16, Distance = 6.2745...)
| | └> r (Id = 18, Distance = 7.0588...)
| ├> B (Id = 28, Distance = 10.9804...)
| | ├> t (Id = 20, Distance = 7.8431...)
| | ├> x (Id = 24, Distance = 9.4118...)
| | | ├> u (Id = 21, Distance = 8.2353...)
| | | └> w (Id = 23, Distance = 9.0196...)
| | | └> v (Id = 22, Distance = 8.6275...)
| | ├> z (Id = 26, Distance = 10.1961...)
| | | └> y (Id = 25, Distance = 9.8039...)
| | └> A (Id = 27, Distance = 10.5882...)
| ├> G (Id = 33, Distance = 12.9412...)
| | ├> C (Id = 29, Distance = 11.3725...)
| | ├> E (Id = 31, Distance = 12.1569...)
| | | └> D (Id = 30, Distance = 11.7647...)
| | └> F (Id = 32, Distance = 12.5490...)
| ├> I (Id = 35, Distance = 13.7255...)
| | └> H (Id = 34, Distance = 13.3333...)
| └> J (Id = 36, Distance = 14.1176...)
├> a (Id = 0, Distance = 0)
├> L (Id = 37, Distance = 14.5098...)
| ├> b (Id = 1, Distance = 0.3922...)
| ├> t (Id = 19, Distance = 7.4510...)
| | ├> c (Id = 2, Distance = 0.7843...)
| | ├> l (Id = 11, Distance = 4.3137...)
| | | ├> d (Id = 3, Distance = 1.1765...)
| | | ├> h (Id = 7, Distance = 2.7451...)
| | | | ├> e (Id = 4, Distance = 1.5686...)
| | | | └> g (Id = 6, Distance = 2.3529...)
| | | | └> f (Id = 5, Distance = 1.9608...)
| | | ├> j (Id = 9, Distance = 3.5294...)
| | | | └> i (Id = 8, Distance = 3.1373...)
| | | └> k (Id = 10, Distance = 3.9216...)
| | ├> p (Id = 15, Distance = 5.8824...)
| | | ├> m (Id = 12, Distance = 4.7059...)
| | | └> o (Id = 14, Distance = 5.4902...)
| | | └> n (Id = 13, Distance = 5.0980...)
| | ├> r (Id = 17, Distance = 6.6667...)
| | | └> q (Id = 16, Distance = 6.2745...)
| | └> s (Id = 18, Distance = 7.0588...)
| ├> C (Id = 28, Distance = 10.9804...)
| | ├> u (Id = 20, Distance = 7.8431...)
| | ├> y (Id = 24, Distance = 9.4118...)
| | | ├> v (Id = 21, Distance = 8.2353...)
| | | └> x (Id = 23, Distance = 9.0196...)
| | | └> w (Id = 22, Distance = 8.6275...)
| | ├> A (Id = 26, Distance = 10.1961...)
| | | └> z (Id = 25, Distance = 9.8039...)
| | └> B (Id = 27, Distance = 10.5882...)
| ├> H (Id = 33, Distance = 12.9412...)
| | ├> D (Id = 29, Distance = 11.3725...)
| | ├> F (Id = 31, Distance = 12.1569...)
| | | └> E (Id = 30, Distance = 11.7647...)
| | └> G (Id = 32, Distance = 12.5490...)
| ├> J (Id = 35, Distance = 13.7255...)
| | └> I (Id = 34, Distance = 13.3333...)
| └> K (Id = 36, Distance = 14.1176...)
├> 3 (Id = 56, Distance = 21.9608...)
| ├> L (Id = 38, Distance = 14.9020...)
| ├> U (Id = 47, Distance = 18.4314...)
| | ├> M (Id = 39, Distance = 15.2941...)
| | ├> Q (Id = 43, Distance = 16.8627...)
| | | ├> N (Id = 40, Distance = 15.6863...)
| | | └> P (Id = 42, Distance = 16.4706...)
| | | └> O (Id = 41, Distance = 16.0784...)
| | ├> S (Id = 45, Distance = 17.6471...)
| | | └> R (Id = 44, Distance = 17.2549...)
| | └> T (Id = 46, Distance = 18.0392...)
| ├> Z (Id = 52, Distance = 20.3922...)
| | ├> V (Id = 48, Distance = 18.8235...)
| | ├> X (Id = 50, Distance = 19.6078...)
| | | └> W (Id = 49, Distance = 19.2157...)
| | └> Y (Id = 51, Distance = 20.0)
| ├> M (Id = 38, Distance = 14.9020...)
| ├> V (Id = 47, Distance = 18.4314...)
| | ├> N (Id = 39, Distance = 15.2941...)
| | ├> R (Id = 43, Distance = 16.8627...)
| | | ├> O (Id = 40, Distance = 15.6863...)
| | | └> Q (Id = 42, Distance = 16.4706...)
| | | └> P (Id = 41, Distance = 16.0784...)
| | ├> T (Id = 45, Distance = 17.6471...)
| | | └> S (Id = 44, Distance = 17.2549...)
| | └> U (Id = 46, Distance = 18.0392...)
| ├> (Id = 52, Distance = 20.3922...)
| | ├> W (Id = 48, Distance = 18.8235...)
| | ├> Y (Id = 50, Distance = 19.6078...)
| | | └> X (Id = 49, Distance = 19.2157...)
| | └> Z (Id = 51, Distance = 20.0)
| ├> 1 (Id = 54, Distance = 21.1765...)
| | └> 0 (Id = 53, Distance = 20.7843...)
| └> 2 (Id = 55, Distance = 21.5686...)
Expand Down
Loading