diff options
| author | Sebastiano Tronto <sebastiano@tronto.net> | 2025-04-02 14:33:21 +0200 |
|---|---|---|
| committer | Sebastiano Tronto <sebastiano@tronto.net> | 2025-04-02 14:33:21 +0200 |
| commit | c5a6ff0443fc9e5e890fe72cb13ea78d4fe2bbcb (patch) | |
| tree | 9a5710c2393a09078df72d95364b6af966d745bd /tools | |
| parent | 82e0a6bf454f5684b44bb0a24db619e9ba0567a0 (diff) | |
| download | nissy-core-c5a6ff0443fc9e5e890fe72cb13ea78d4fe2bbcb.tar.gz nissy-core-c5a6ff0443fc9e5e890fe72cb13ea78d4fe2bbcb.zip | |
Added dreo coordinate solver
Diffstat (limited to '')
| -rw-r--r-- | tools/expected_distributions.h | 16 |
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 | ||
| 155 | uint64_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 | |||
| 155 | static bool | 169 | static bool |
| 156 | distribution_equal(const uint64_t *expected, const uint64_t *actual, int n) | 170 | distribution_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 | } |
