From 20ac0e60d7174114965d4419af0bb3028db8e447 Mon Sep 17 00:00:00 2001 From: Sebastiano Tronto Date: Mon, 15 Nov 2021 08:29:37 +0100 Subject: Load all necessary pruning tables for a step before the actual solving process starts. This is in preparation for multi-threaded solving (but don't get hyped, it will take time). --- src/pruning.c | 7 ++++++- 1 file changed, 6 insertions(+), 1 deletion(-) (limited to 'src/pruning.c') diff --git a/src/pruning.c b/src/pruning.c index 6165e71..11705c5 100644 --- a/src/pruning.c +++ b/src/pruning.c @@ -338,8 +338,13 @@ ptableval(PruneData *pd, Cube cube) static int ptableval_index(PruneData *pd, uint64_t ind) { - if (!pd->generated) + if (!pd->generated) { + fprintf(stderr, "Warning: request pruning table value" + " for uninitialized table %s.\n It's fine, but it" + " should not happen. Please report bug.\n", + pd->filename); genptable(pd); + } return (ind % 2) ? pd->ptable[ind/2] / 16 : pd->ptable[ind/2] % 16; } -- cgit v1.3