void exitFunc(BPatch_thread *thread, BPatch_exitType /* exit_type */) {
dprintf("Exit func called\n");
if (thread == parentThread) {
dprintf("Parent exit reached, checking...\n");
checkTests(Parent_p, thread);
parentDone = true;
dprintf("Parent done\n");
}
else if (thread == childThread) {
dprintf("Child exit reached, checking...\n");
checkTests(Child_p, thread);
dprintf("Child done\n");
childDone = true;
}
else {
fprintf(stderr, "Thread ptr 0x%p, parent 0x%p, child 0x%p\n",
thread, parentThread, childThread);
assert(0 && "Unexpected BPatch_thread in exitFunc");
}
return;
}
bool checkGood(const Sudoku &i, const Sudoku &s)
{
if (!checkSize(s)) {
m_tested += 4;
return false;
}
return checkTests({
checkInput(i,s),
checkRows(s),
checkCols(s),
checkSquares(s),
});
}
