diff options
| author | Sebastiano Tronto <sebastiano@tronto.net> | 2025-12-13 19:16:32 +0100 |
|---|---|---|
| committer | Sebastiano Tronto <sebastiano@tronto.net> | 2025-12-14 10:26:34 +0100 |
| commit | b25989e47adfadabcf0dabfd58d615622887cee0 (patch) | |
| tree | bf0037801f22e4bff1d29ce1724725cab098d4a5 /src/solvers/h48/checkdata.h | |
| parent | 6c42463b800bbab4583e90aeb748a79037c65a9e (diff) | |
| download | nissy-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.h | 2 |
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"); |
