From 10e3c671ac33983b815e90e641633409280f045e Mon Sep 17 00:00:00 2001 From: Sebastiano Tronto Date: Tue, 17 Sep 2024 21:53:36 +0200 Subject: Parallelized h48k2 gendata --- src/solvers/h48/map.h | 4 ---- 1 file changed, 4 deletions(-) (limited to 'src/solvers/h48/map.h') diff --git a/src/solvers/h48/map.h b/src/solvers/h48/map.h index baffe39..e74a5dd 100644 --- a/src/solvers/h48/map.h +++ b/src/solvers/h48/map.h @@ -88,10 +88,6 @@ h48map_nextkvpair(h48map_t *map, uint64_t *p) kv.key = MAP_KEYMASK; kv.val = MAP_UNSET_VAL; - DBG_ASSERT(*p < map->capacity, kv, - "Error looping over map: given index %" PRIu64 " is out of " - "range [0,%" PRIu64 "]", *p, map->capacity); - for ( ; *p < map->capacity; (*p)++) { if (map->table[*p] != MAP_UNSET) { pair = map->table[(*p)++]; -- cgit v1.3