luke
/
abc
mirror of https://github.com/YosysHQ/abc.git
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity

Fixing timeout in kissat.

This commit is contained in:
Alan Mishchenko 2025-11-20 22:54:05 -08:00
parent 51c5ff3b81
commit 6aaca6a1af
1 changed files with 15 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

15
src/sat/kissat/terminate.h
View File

@ -16,6 +16,21 @@ static inline bool kissat_terminated (kissat *solver, int bit,
const char *name, const char *file,
long lineno, const char *fun) {
KISSAT_assert (0 <= bit), KISSAT_assert (bit < 64);
#if defined(COVERAGE)
if (!solver->termination.flagged) {
int (*terminate) (void *) = solver->termination.terminate;
void *state = (void *) solver->termination.state;
if (terminate && terminate (state))
solver->termination.flagged = ~(uint64_t) 0;
}
#else
if (!solver->termination.flagged) {
int (*terminate) (void *) = solver->termination.terminate;
void *state = (void *) solver->termination.state;
if (terminate && terminate (state))
solver->termination.flagged = true;
}
#endif
#ifdef COVERAGE
const uint64_t mask = (uint64_t) 1 << bit;
if (!(solver->termination.flagged & mask))