From 52c21640508c3fc668107778ae027ff4428ebd89 Mon Sep 17 00:00:00 2001 From: Sebastiano Tronto Date: Tue, 29 Jul 2025 10:55:29 +0200 Subject: Cleanup some TODOs --- src/solvers/coord/gendata.h | 4 ++-- src/solvers/coord/solve.h | 8 -------- 2 files changed, 2 insertions(+), 10 deletions(-) (limited to 'src/solvers/coord') diff --git a/src/solvers/coord/gendata.h b/src/solvers/coord/gendata.h index b43c56d..7118b08 100644 --- a/src/solvers/coord/gendata.h +++ b/src/solvers/coord/gendata.h @@ -57,7 +57,7 @@ gendata_coord(const coord_t coord[static 1], unsigned char *buf) .type = TABLETYPE_SPECIAL, .infosize = INFOSIZE, .fullsize = INFOSIZE + coord_dsize, - .hash = 0, /* TODO */ + .hash = 0, .next = INFOSIZE + coord_dsize, /* Unknown / non-applicable values */ @@ -105,7 +105,7 @@ genptable_coord( .type = TABLETYPE_PRUNING, .infosize = INFOSIZE, .fullsize = INFOSIZE + tablesize, - .hash = 0, /* TODO */ + .hash = 0, .entries = coord->max, .classes = 0, .bits = 4, diff --git a/src/solvers/coord/solve.h b/src/solvers/coord/solve.h index a2f89db..75ec200 100644 --- a/src/solvers/coord/solve.h +++ b/src/solvers/coord/solve.h @@ -312,14 +312,6 @@ solve_coord( .solution_settings = &solution_settings, .solution_list = &solution_list, .nissflag = nissflag, - - /* - Since no move has been done yet, this field should be - neither true nor false; using its value now is logically - undefined behavior. - TODO: find a more elegant solution - */ - .lastisnormal = true, }; if (coord->coord(c, coord_data) == 0) { -- cgit v1.3