aboutsummaryrefslogtreecommitdiff
path: root/tools/expected_distributions.h
diff options
context:
space:
mode:
authorSebastiano Tronto <sebastiano@tronto.net>2025-04-02 14:33:21 +0200
committerSebastiano Tronto <sebastiano@tronto.net>2025-04-02 14:33:21 +0200
commitc5a6ff0443fc9e5e890fe72cb13ea78d4fe2bbcb (patch)
tree9a5710c2393a09078df72d95364b6af966d745bd /tools/expected_distributions.h
parent82e0a6bf454f5684b44bb0a24db619e9ba0567a0 (diff)
downloadnissy-core-c5a6ff0443fc9e5e890fe72cb13ea78d4fe2bbcb.tar.gz
nissy-core-c5a6ff0443fc9e5e890fe72cb13ea78d4fe2bbcb.zip
Added dreo coordinate solver
Diffstat (limited to '')
-rw-r--r--tools/expected_distributions.h16
1 files changed, 16 insertions, 0 deletions
diff --git a/tools/expected_distributions.h b/tools/expected_distributions.h
index 8ddb138..7f33335 100644
--- a/tools/expected_distributions.h
+++ b/tools/expected_distributions.h
@@ -152,6 +152,20 @@ uint64_t expected_dr[21] = {
152 [12] = 129, 152 [12] = 129,
153}; 153};
154 154
155uint64_t expected_dreo[21] = {
156 [0] = 1,
157 [1] = 1,
158 [2] = 4,
159 [3] = 22,
160 [4] = 160,
161 [5] = 1286,
162 [6] = 8550,
163 [7] = 42512,
164 [8] = 90748,
165 [9] = 33466,
166 [10] = 757,
167};
168
155static bool 169static bool
156distribution_equal(const uint64_t *expected, const uint64_t *actual, int n) 170distribution_equal(const uint64_t *expected, const uint64_t *actual, int n)
157{ 171{
@@ -236,6 +250,8 @@ check_distribution(const char *solver, size_t data_size, const void *data)
236 return check_table(expected_eo, &info); 250 return check_table(expected_eo, &info);
237 } else if (!strcmp(str, "DR")) { 251 } else if (!strcmp(str, "DR")) {
238 return check_table(expected_dr, &info); 252 return check_table(expected_dr, &info);
253 } else if (!strcmp(str, "DREO")) {
254 return check_table(expected_dreo, &info);
239 } else { 255 } else {
240 goto check_distribution_unknown; 256 goto check_distribution_unknown;
241 } 257 }

Generated with cgit - Back to sebastiano.tronto.net