h48

commit b1fc4886520762dfac016cae612da959078ae67e
parent b5efa2c7bfa259f1b9f5afa68349e2742427de80
Author: Sebastiano Tronto <sebastiano@tronto.net>
Date:   Thu, 29 Aug 2024 15:51:21 +0200

Small fix pre-test

Diffstat:
M
src/solvers/h48/gendata_h48.h
 | 
10
++++++----

1 file changed, 6 insertions(+), 4 deletions(-)
diff --git a/src/solvers/h48/gendata_h48.h b/src/solvers/h48/gendata_h48.h
@@ -367,7 +367,7 @@ gendata_h48k2_return_size:
 _static void
 gendata_h48k2_dfs(h48k2_dfs_arg_t *arg)
 {
-	uint8_t nmoves;
+	uint8_t nmoves, oldval, newval;
 	uint64_t val;
 	int64_t coord, fullcoord;
 	h48k2_dfs_arg_t nextarg;
@@ -378,9 +378,11 @@ gendata_h48k2_dfs(h48k2_dfs_arg_t *arg)
 
 	val = h48map_value(arg->shortcubes, fullcoord);
 
-	if (arg->depth >= arg->base && arg->depth <= arg->base + 2)
-		set_esep_pval(
-		    arg->h48data, coord, arg->k, arg->depth - arg->base);
+	if (arg->depth >= arg->base && arg->depth <= arg->base + 2) {
+		oldval = get_esep_pval(arg->h48data, coord, arg->k);
+		newval = _min(oldval, arg->depth - arg->base);
+		set_esep_pval(arg->h48data, coord, arg->k, newval);
+	}
 
 	if ((val < arg->shortdepth) ||
 	    (arg->depth > arg->shortdepth && val != MAP_UNSET) ||