Searched refs:checkProof (Results 1 - 2 of 2) sorted by relevance

/seL4-l4v-master/HOL4/src/HolSat/sat_solvers/minisat/
H A DMain.C170 void checkProof(Proof* proof, ClauseId goal = ClauseId_NULL) function
252 if (S.proof != NULL && check) printf("Checking proof...\n"), checkProof(S.proof);
290 checkProof(&compressed);
295 checkProof(S.proof);
/seL4-l4v-master/HOL4/src/HolSat/sat_solvers/zc2hs/
H A Dzc2hs.cpp171 void checkProof(Proof* proof, ClauseId goal = ClauseId_NULL) function
508 checkProof(current);

Completed in 82 milliseconds