aboutsummaryrefslogtreecommitdiff
path: root/src/solvers/h48/checkdata.h
diff options
context:
space:
mode:
authorSebastiano Tronto <sebastiano@tronto.net>2025-12-13 19:16:32 +0100
committerSebastiano Tronto <sebastiano@tronto.net>2025-12-14 10:26:34 +0100
commitb25989e47adfadabcf0dabfd58d615622887cee0 (patch)
treebf0037801f22e4bff1d29ce1724725cab098d4a5 /src/solvers/h48/checkdata.h
parent6c42463b800bbab4583e90aeb748a79037c65a9e (diff)
downloadnissy-core-b25989e47adfadabcf0dabfd58d615622887cee0.tar.gz
nissy-core-b25989e47adfadabcf0dabfd58d615622887cee0.zip
Intertwined table seems to work
Diffstat (limited to 'src/solvers/h48/checkdata.h')
-rw-r--r--src/solvers/h48/checkdata.h2
1 files changed, 1 insertions, 1 deletions
diff --git a/src/solvers/h48/checkdata.h b/src/solvers/h48/checkdata.h
index af0499d..608c4d8 100644
--- a/src/solvers/h48/checkdata.h
+++ b/src/solvers/h48/checkdata.h
@@ -219,7 +219,7 @@ checkdata_h48(
219 219
220 LOG("[checkdata] Checking distribution for '%s' from " 220 LOG("[checkdata] Checking distribution for '%s' from "
221 "actual table\n", info.solver); 221 "actual table\n", info.solver);
222 getdistribution(table, actual_distribution, &info); 222 getdistribution_h48(table, actual_distribution, &info);
223 if (!distribution_equal(ed, actual_distribution, em)) { 223 if (!distribution_equal(ed, actual_distribution, em)) {
224 LOG("[checkdata] Distribution from the actual table " 224 LOG("[checkdata] Distribution from the actual table "
225 "does not match the expected one\n"); 225 "does not match the expected one\n");

Generated with cgit - Back to sebastiano.tronto.net