Skip to content

🌍 #318 Optimize shrinking for "any list over count" counterexample #319

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Merged
nth-commit merged 1 commit into from
Dec 11, 2021
Merged

🌍 #318 Optimize shrinking for "any list over count" counterexample #319

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
1 commit
Select commit
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
13 changes: 7 additions & 6 deletions ...Tests/GenTests/EnumGenTests/__snapshots__/AboutGeneratingFlagsEnums.Snapshots_Seed_1.snap
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -1,10 +1,11 @@
Create, Delete (Id = 1103571695, Distance = 133.3333...)
├> Create, Update (Id = 1372007284, Distance = 100.0000)
| ├> Update (Id = -1521134293, Distance = 66.6667...)
| | └> Read (Id = -1521134294, Distance = 33.3333...)
| ├> Create (Id = -1521134295, Distance = 0)
| └> Create, Read (Id = -1401825717, Distance = 66.6667...)
| └> Read (Id = -1521134294, Distance = 33.3333...)
├> Delete (Id = -1521134292, Distance = 100)
| └> Update (Id = -1521134293, Distance = 66.6667...)
| └> Read (Id = -1521134294, Distance = 33.3333...)
├> Create (Id = -1521134295, Distance = 0)
└> Create, Update (Id = 1372007284, Distance = 100.0000)
├> Update (Id = -1521134293, Distance = 66.6667...)
| └> Read (Id = -1521134294, Distance = 33.3333...)
└> Create, Read (Id = -1401825717, Distance = 66.6667...)
└> Read (Id = -1521134294, Distance = 33.3333...)
└> Create (Id = -1521134295, Distance = 0)
30 changes: 15 additions & 15 deletions ...ts.ExampleSpaces_Int32_Between_Counts_1_And_4_And_Elements_0_And_10_Bias_None_Seed_0.snap
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -1,4 +1,9 @@
[4,5,8,10] (Id = 2010151475, Distance = 370.0)
├> [0,0,0,0] (Id = 1553156228, Distance = 100)
| ├> [0] (Id = -1521134295, Distance = 0)
| ├> [0,0,0] (Id = -1760004949, Distance = 66.6667...)
| | └> [0,0] (Id = 119308578, Distance = 33.3333...)
| └> [0,0] (Id = 119308578, Distance = 33.3333...)
└> [10,8,5,4] (Id = -1420373737, Distance = 370.0)
├> [10] (Id = -1521134285, Distance = 100)
| ├> [0] (Id = -1521134295, Distance = 0)
Expand Down Expand Up @@ -483,18 +488,13 @@
| ├> [1,0] (Id = -1401825717, Distance = 43.3333...)
| | └> [0] (Id = -1521134295, Distance = 0)
| └> [0] (Id = -1521134295, Distance = 0)
├> [4,1] (Id = -1670261305, Distance = 83.3333...)
| ├> [4] (Id = -1521134291, Distance = 40.0)
| | └> [3] (Id = -1521134292, Distance = 30.0)
| | └> [2] (Id = -1521134293, Distance = 20.0)
| ├> [1,1] (Id = -1401825716, Distance = 53.3333...)
| └> [3,1] (Id = -149127010, Distance = 73.3333...)
| ├> [3] (Id = -1521134292, Distance = 30.0)
| | └> [2] (Id = -1521134293, Distance = 20.0)
| └> [2,1] (Id = 1372007285, Distance = 63.3333...)
| └> [2] (Id = -1521134293, Distance = 20.0)
├> [6,1] (Id = -417562599, Distance = 103.3333...)
| ├> [6] (Id = -1521134289, Distance = 60.0)
| └> [5,1] (Id = 1103571696, Distance = 93.3333...)
└> [7,1] (Id = -1938696894, Distance = 113.3333...)
└> [7] (Id = -1521134288, Distance = 70.0)
└> [4,1] (Id = -1670261305, Distance = 83.3333...)
├> [4] (Id = -1521134291, Distance = 40.0)
| └> [3] (Id = -1521134292, Distance = 30.0)
| └> [2] (Id = -1521134293, Distance = 20.0)
├> [1,1] (Id = -1401825716, Distance = 53.3333...)
└> [3,1] (Id = -149127010, Distance = 73.3333...)
├> [3] (Id = -1521134292, Distance = 30.0)
| └> [2] (Id = -1521134293, Distance = 20.0)
└> [2,1] (Id = 1372007285, Distance = 63.3333...)
└> [2] (Id = -1521134293, Distance = 20.0)
16 changes: 8 additions & 8 deletions ...ts.ExampleSpaces_Int32_Between_Counts_1_And_4_And_Elements_0_And_10_Bias_None_Seed_1.snap
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -1,4 +1,9 @@
[8,4,5,0] (Id = -843568383, Distance = 270.0)
├> [0,0,0,0] (Id = 1553156228, Distance = 100)
| ├> [0] (Id = -1521134295, Distance = 0)
| ├> [0,0,0] (Id = -1760004949, Distance = 66.6667...)
| | └> [0,0] (Id = 119308578, Distance = 33.3333...)
| └> [0,0] (Id = 119308578, Distance = 33.3333...)
└> [8,5,4,0] (Id = 379306437, Distance = 270.0)
├> [8] (Id = -1521134287, Distance = 80.0)
| ├> [0] (Id = -1521134295, Distance = 0)
Expand Down Expand Up @@ -490,11 +495,6 @@
| └> [3,2] (Id = -149127009, Distance = 83.3333...)
| └> [2,2] (Id = 1372007286, Distance = 73.3333...)
└> [4,4] (Id = -1670261302, Distance = 113.3333...)
├> [1,4] (Id = -1401825713, Distance = 83.3333...)
| ├> [4,1] (Id = -1670261305, Distance = 83.3333...)
| | └> [1] (Id = -1521134294, Distance = 10.0)
| └> [1] (Id = -1521134294, Distance = 10.0)
└> [3,4] (Id = -149127007, Distance = 103.3333...)
├> [3] (Id = -1521134292, Distance = 30.0)
| └> [2] (Id = -1521134293, Distance = 20.0)
└> [2,4] (Id = 1372007288, Distance = 93.3333...)
└> [1,4] (Id = -1401825713, Distance = 83.3333...)
└> [4,1] (Id = -1670261305, Distance = 83.3333...)
└> [1] (Id = -1521134294, Distance = 10.0)
72 changes: 36 additions & 36 deletions ...ts.ExampleSpaces_Int32_Between_Counts_1_And_4_And_Elements_0_And_10_Bias_None_Seed_2.snap
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -1,4 +1,7 @@
[10,10,1] (Id = 536628587, Distance = 276.6667...)
├> [0,0,0] (Id = -1760004949, Distance = 66.6667...)
| ├> [0] (Id = -1521134295, Distance = 0)
| └> [0,0] (Id = 119308578, Distance = 33.3333...)
├> [10] (Id = -1521134285, Distance = 100)
| ├> [0] (Id = -1521134295, Distance = 0)
| ├> [5] (Id = -1521134290, Distance = 50.0)
Expand Down Expand Up @@ -462,39 +465,36 @@
| ├> [2,0] (Id = 1372007284, Distance = 53.3333...)
| | └> [2] (Id = -1521134293, Distance = 20.0)
| └> [2] (Id = -1521134293, Distance = 20.0)
├> [5,3] (Id = 1103571698, Distance = 113.3333...)
| ├> [1,3] (Id = -1401825714, Distance = 73.3333...)
| | ├> [3,1] (Id = -149127010, Distance = 73.3333...)
| | | ├> [1] (Id = -1521134294, Distance = 10.0)
| | | └> [2,1] (Id = 1372007285, Distance = 63.3333...)
| | | └> [2] (Id = -1521134293, Distance = 20.0)
| | ├> [1] (Id = -1521134294, Distance = 10.0)
| | └> [1,2] (Id = -1401825715, Distance = 63.3333...)
| | ├> [2,1] (Id = 1372007285, Distance = 63.3333...)
| | | └> [2] (Id = -1521134293, Distance = 20.0)
| | └> [2] (Id = -1521134293, Distance = 20.0)
| ├> [3,3] (Id = -149127008, Distance = 93.3333...)
| | ├> [2,3] (Id = 1372007287, Distance = 83.3333...)
| | | ├> [3,2] (Id = -149127009, Distance = 83.3333...)
| | | | ├> [2] (Id = -1521134293, Distance = 20.0)
| | | | └> [2,2] (Id = 1372007286, Distance = 73.3333...)
| | | ├> [2] (Id = -1521134293, Distance = 20.0)
| | | └> [2,2] (Id = 1372007286, Distance = 73.3333...)
| | └> [3,2] (Id = -149127009, Distance = 83.3333...)
| | ├> [2] (Id = -1521134293, Distance = 20.0)
| | └> [2,2] (Id = 1372007286, Distance = 73.3333...)
| ├> [4,3] (Id = -1670261303, Distance = 103.3333...)
| | ├> [4] (Id = -1521134291, Distance = 40.0)
| | └> [4,2] (Id = -1670261304, Distance = 93.3333...)
| | └> [2] (Id = -1521134293, Distance = 20.0)
| └> [5,2] (Id = 1103571697, Distance = 103.3333...)
| ├> [2] (Id = -1521134293, Distance = 20.0)
| ├> [1,2] (Id = -1401825715, Distance = 63.3333...)
| | ├> [2,1] (Id = 1372007285, Distance = 63.3333...)
| | | └> [1] (Id = -1521134294, Distance = 10.0)
| | └> [1] (Id = -1521134294, Distance = 10.0)
| ├> [3,2] (Id = -149127009, Distance = 83.3333...)
| | └> [2,2] (Id = 1372007286, Distance = 73.3333...)
| └> [4,2] (Id = -1670261304, Distance = 93.3333...)
| └> [4] (Id = -1521134291, Distance = 40.0)
└> [8,3] (Id = 835136109, Distance = 143.3333...)
└> [5,3] (Id = 1103571698, Distance = 113.3333...)
├> [1,3] (Id = -1401825714, Distance = 73.3333...)
| ├> [3,1] (Id = -149127010, Distance = 73.3333...)
| | ├> [1] (Id = -1521134294, Distance = 10.0)
| | └> [2,1] (Id = 1372007285, Distance = 63.3333...)
| | └> [2] (Id = -1521134293, Distance = 20.0)
| ├> [1] (Id = -1521134294, Distance = 10.0)
| └> [1,2] (Id = -1401825715, Distance = 63.3333...)
| ├> [2,1] (Id = 1372007285, Distance = 63.3333...)
| | └> [2] (Id = -1521134293, Distance = 20.0)
| └> [2] (Id = -1521134293, Distance = 20.0)
├> [3,3] (Id = -149127008, Distance = 93.3333...)
| ├> [2,3] (Id = 1372007287, Distance = 83.3333...)
| | ├> [3,2] (Id = -149127009, Distance = 83.3333...)
| | | ├> [2] (Id = -1521134293, Distance = 20.0)
| | | └> [2,2] (Id = 1372007286, Distance = 73.3333...)
| | ├> [2] (Id = -1521134293, Distance = 20.0)
| | └> [2,2] (Id = 1372007286, Distance = 73.3333...)
| └> [3,2] (Id = -149127009, Distance = 83.3333...)
| ├> [2] (Id = -1521134293, Distance = 20.0)
| └> [2,2] (Id = 1372007286, Distance = 73.3333...)
├> [4,3] (Id = -1670261303, Distance = 103.3333...)
| ├> [4] (Id = -1521134291, Distance = 40.0)
| └> [4,2] (Id = -1670261304, Distance = 93.3333...)
| └> [2] (Id = -1521134293, Distance = 20.0)
└> [5,2] (Id = 1103571697, Distance = 103.3333...)
├> [2] (Id = -1521134293, Distance = 20.0)
├> [1,2] (Id = -1401825715, Distance = 63.3333...)
| ├> [2,1] (Id = 1372007285, Distance = 63.3333...)
| | └> [1] (Id = -1521134294, Distance = 10.0)
| └> [1] (Id = -1521134294, Distance = 10.0)
└> [3,2] (Id = -149127009, Distance = 83.3333...)
└> [2,2] (Id = 1372007286, Distance = 73.3333...)
30 changes: 15 additions & 15 deletions ...xampleSpaces_Int32_Between_Counts_1_And_4_And_Elements_0_And_10_Bias_WithSize_Seed_0.snap
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -1,4 +1,9 @@
[4,5,8,10] (Id = 2010151475, Distance = 370.0)
├> [0,0,0,0] (Id = 1553156228, Distance = 100)
| ├> [0] (Id = -1521134295, Distance = 0)
| ├> [0,0,0] (Id = -1760004949, Distance = 66.6667...)
| | └> [0,0] (Id = 119308578, Distance = 33.3333...)
| └> [0,0] (Id = 119308578, Distance = 33.3333...)
└> [10,8,5,4] (Id = -1420373737, Distance = 370.0)
├> [10] (Id = -1521134285, Distance = 100)
| ├> [0] (Id = -1521134295, Distance = 0)
Expand Down Expand Up @@ -483,18 +488,13 @@
| ├> [1,0] (Id = -1401825717, Distance = 43.3333...)
| | └> [0] (Id = -1521134295, Distance = 0)
| └> [0] (Id = -1521134295, Distance = 0)
├> [4,1] (Id = -1670261305, Distance = 83.3333...)
| ├> [4] (Id = -1521134291, Distance = 40.0)
| | └> [3] (Id = -1521134292, Distance = 30.0)
| | └> [2] (Id = -1521134293, Distance = 20.0)
| ├> [1,1] (Id = -1401825716, Distance = 53.3333...)
| └> [3,1] (Id = -149127010, Distance = 73.3333...)
| ├> [3] (Id = -1521134292, Distance = 30.0)
| | └> [2] (Id = -1521134293, Distance = 20.0)
| └> [2,1] (Id = 1372007285, Distance = 63.3333...)
| └> [2] (Id = -1521134293, Distance = 20.0)
├> [6,1] (Id = -417562599, Distance = 103.3333...)
| ├> [6] (Id = -1521134289, Distance = 60.0)
| └> [5,1] (Id = 1103571696, Distance = 93.3333...)
└> [7,1] (Id = -1938696894, Distance = 113.3333...)
└> [7] (Id = -1521134288, Distance = 70.0)
└> [4,1] (Id = -1670261305, Distance = 83.3333...)
├> [4] (Id = -1521134291, Distance = 40.0)
| └> [3] (Id = -1521134292, Distance = 30.0)
| └> [2] (Id = -1521134293, Distance = 20.0)
├> [1,1] (Id = -1401825716, Distance = 53.3333...)
└> [3,1] (Id = -149127010, Distance = 73.3333...)
├> [3] (Id = -1521134292, Distance = 30.0)
| └> [2] (Id = -1521134293, Distance = 20.0)
└> [2,1] (Id = 1372007285, Distance = 63.3333...)
└> [2] (Id = -1521134293, Distance = 20.0)
16 changes: 8 additions & 8 deletions ...xampleSpaces_Int32_Between_Counts_1_And_4_And_Elements_0_And_10_Bias_WithSize_Seed_1.snap
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -1,4 +1,9 @@
[8,4,5,0] (Id = -843568383, Distance = 270.0)
├> [0,0,0,0] (Id = 1553156228, Distance = 100)
| ├> [0] (Id = -1521134295, Distance = 0)
| ├> [0,0,0] (Id = -1760004949, Distance = 66.6667...)
| | └> [0,0] (Id = 119308578, Distance = 33.3333...)
| └> [0,0] (Id = 119308578, Distance = 33.3333...)
└> [8,5,4,0] (Id = 379306437, Distance = 270.0)
├> [8] (Id = -1521134287, Distance = 80.0)
| ├> [0] (Id = -1521134295, Distance = 0)
Expand Down Expand Up @@ -490,11 +495,6 @@
| └> [3,2] (Id = -149127009, Distance = 83.3333...)
| └> [2,2] (Id = 1372007286, Distance = 73.3333...)
└> [4,4] (Id = -1670261302, Distance = 113.3333...)
├> [1,4] (Id = -1401825713, Distance = 83.3333...)
| ├> [4,1] (Id = -1670261305, Distance = 83.3333...)
| | └> [1] (Id = -1521134294, Distance = 10.0)
| └> [1] (Id = -1521134294, Distance = 10.0)
└> [3,4] (Id = -149127007, Distance = 103.3333...)
├> [3] (Id = -1521134292, Distance = 30.0)
| └> [2] (Id = -1521134293, Distance = 20.0)
└> [2,4] (Id = 1372007288, Distance = 93.3333...)
└> [1,4] (Id = -1401825713, Distance = 83.3333...)
└> [4,1] (Id = -1670261305, Distance = 83.3333...)
└> [1] (Id = -1521134294, Distance = 10.0)
72 changes: 36 additions & 36 deletions ...xampleSpaces_Int32_Between_Counts_1_And_4_And_Elements_0_And_10_Bias_WithSize_Seed_2.snap
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -1,4 +1,7 @@
[10,10,1] (Id = 536628587, Distance = 276.6667...)
├> [0,0,0] (Id = -1760004949, Distance = 66.6667...)
| ├> [0] (Id = -1521134295, Distance = 0)
| └> [0,0] (Id = 119308578, Distance = 33.3333...)
├> [10] (Id = -1521134285, Distance = 100)
| ├> [0] (Id = -1521134295, Distance = 0)
| ├> [5] (Id = -1521134290, Distance = 50.0)
Expand Down Expand Up @@ -462,39 +465,36 @@
| ├> [2,0] (Id = 1372007284, Distance = 53.3333...)
| | └> [2] (Id = -1521134293, Distance = 20.0)
| └> [2] (Id = -1521134293, Distance = 20.0)
├> [5,3] (Id = 1103571698, Distance = 113.3333...)
| ├> [1,3] (Id = -1401825714, Distance = 73.3333...)
| | ├> [3,1] (Id = -149127010, Distance = 73.3333...)
| | | ├> [1] (Id = -1521134294, Distance = 10.0)
| | | └> [2,1] (Id = 1372007285, Distance = 63.3333...)
| | | └> [2] (Id = -1521134293, Distance = 20.0)
| | ├> [1] (Id = -1521134294, Distance = 10.0)
| | └> [1,2] (Id = -1401825715, Distance = 63.3333...)
| | ├> [2,1] (Id = 1372007285, Distance = 63.3333...)
| | | └> [2] (Id = -1521134293, Distance = 20.0)
| | └> [2] (Id = -1521134293, Distance = 20.0)
| ├> [3,3] (Id = -149127008, Distance = 93.3333...)
| | ├> [2,3] (Id = 1372007287, Distance = 83.3333...)
| | | ├> [3,2] (Id = -149127009, Distance = 83.3333...)
| | | | ├> [2] (Id = -1521134293, Distance = 20.0)
| | | | └> [2,2] (Id = 1372007286, Distance = 73.3333...)
| | | ├> [2] (Id = -1521134293, Distance = 20.0)
| | | └> [2,2] (Id = 1372007286, Distance = 73.3333...)
| | └> [3,2] (Id = -149127009, Distance = 83.3333...)
| | ├> [2] (Id = -1521134293, Distance = 20.0)
| | └> [2,2] (Id = 1372007286, Distance = 73.3333...)
| ├> [4,3] (Id = -1670261303, Distance = 103.3333...)
| | ├> [4] (Id = -1521134291, Distance = 40.0)
| | └> [4,2] (Id = -1670261304, Distance = 93.3333...)
| | └> [2] (Id = -1521134293, Distance = 20.0)
| └> [5,2] (Id = 1103571697, Distance = 103.3333...)
| ├> [2] (Id = -1521134293, Distance = 20.0)
| ├> [1,2] (Id = -1401825715, Distance = 63.3333...)
| | ├> [2,1] (Id = 1372007285, Distance = 63.3333...)
| | | └> [1] (Id = -1521134294, Distance = 10.0)
| | └> [1] (Id = -1521134294, Distance = 10.0)
| ├> [3,2] (Id = -149127009, Distance = 83.3333...)
| | └> [2,2] (Id = 1372007286, Distance = 73.3333...)
| └> [4,2] (Id = -1670261304, Distance = 93.3333...)
| └> [4] (Id = -1521134291, Distance = 40.0)
└> [8,3] (Id = 835136109, Distance = 143.3333...)
└> [5,3] (Id = 1103571698, Distance = 113.3333...)
├> [1,3] (Id = -1401825714, Distance = 73.3333...)
| ├> [3,1] (Id = -149127010, Distance = 73.3333...)
| | ├> [1] (Id = -1521134294, Distance = 10.0)
| | └> [2,1] (Id = 1372007285, Distance = 63.3333...)
| | └> [2] (Id = -1521134293, Distance = 20.0)
| ├> [1] (Id = -1521134294, Distance = 10.0)
| └> [1,2] (Id = -1401825715, Distance = 63.3333...)
| ├> [2,1] (Id = 1372007285, Distance = 63.3333...)
| | └> [2] (Id = -1521134293, Distance = 20.0)
| └> [2] (Id = -1521134293, Distance = 20.0)
├> [3,3] (Id = -149127008, Distance = 93.3333...)
| ├> [2,3] (Id = 1372007287, Distance = 83.3333...)
| | ├> [3,2] (Id = -149127009, Distance = 83.3333...)
| | | ├> [2] (Id = -1521134293, Distance = 20.0)
| | | └> [2,2] (Id = 1372007286, Distance = 73.3333...)
| | ├> [2] (Id = -1521134293, Distance = 20.0)
| | └> [2,2] (Id = 1372007286, Distance = 73.3333...)
| └> [3,2] (Id = -149127009, Distance = 83.3333...)
| ├> [2] (Id = -1521134293, Distance = 20.0)
| └> [2,2] (Id = 1372007286, Distance = 73.3333...)
├> [4,3] (Id = -1670261303, Distance = 103.3333...)
| ├> [4] (Id = -1521134291, Distance = 40.0)
| └> [4,2] (Id = -1670261304, Distance = 93.3333...)
| └> [2] (Id = -1521134293, Distance = 20.0)
└> [5,2] (Id = 1103571697, Distance = 103.3333...)
├> [2] (Id = -1521134293, Distance = 20.0)
├> [1,2] (Id = -1401825715, Distance = 63.3333...)
| ├> [2,1] (Id = 1372007285, Distance = 63.3333...)
| | └> [1] (Id = -1521134294, Distance = 10.0)
| └> [1] (Id = -1521134294, Distance = 10.0)
└> [3,2] (Id = -149127009, Distance = 83.3333...)
└> [2,2] (Id = 1372007286, Distance = 73.3333...)
Loading