aboutsummaryrefslogtreecommitdiff
path: root/src/solvers/h48/checkdata.h
diff options
context:
space:
mode:
authorSebastiano Tronto <sebastiano@tronto.net>2025-12-14 12:20:37 +0100
committerSebastiano Tronto <sebastiano@tronto.net>2025-12-14 12:23:33 +0100
commit21fdf9697ddfab0a9c082a91ae0a79b1b574774c (patch)
tree94215ceaf85f2e7efc85ea1f8ae9c13bd7550a99 /src/solvers/h48/checkdata.h
parentb25989e47adfadabcf0dabfd58d615622887cee0 (diff)
downloadnissy-core-21fdf9697ddfab0a9c082a91ae0a79b1b574774c.tar.gz
nissy-core-21fdf9697ddfab0a9c082a91ae0a79b1b574774c.zip
Bye bye h0k4
Diffstat (limited to 'src/solvers/h48/checkdata.h')
-rw-r--r--src/solvers/h48/checkdata.h4
1 files changed, 4 insertions, 0 deletions
diff --git a/src/solvers/h48/checkdata.h b/src/solvers/h48/checkdata.h
index 608c4d8..04afd48 100644
--- a/src/solvers/h48/checkdata.h
+++ b/src/solvers/h48/checkdata.h
@@ -171,6 +171,10 @@ struct {
171 }, 171 },
172}; 172};
173 173
174/*
175TODO: this function can be simplified, now we support only one h48 table +
176eoesep. The loop can be just two checks.
177*/
174STATIC long long 178STATIC long long
175checkdata_h48( 179checkdata_h48(
176 const char *solver, 180 const char *solver,

Generated with cgit - Back to sebastiano.tronto.net