diff options
Diffstat (limited to 'src/sat/bsat/satProof.c')
| -rw-r--r-- | src/sat/bsat/satProof.c | 7 |
1 files changed, 5 insertions, 2 deletions
diff --git a/src/sat/bsat/satProof.c b/src/sat/bsat/satProof.c index 5dcd23a4..864d87fe 100644 --- a/src/sat/bsat/satProof.c +++ b/src/sat/bsat/satProof.c @@ -448,8 +448,11 @@ int Sat_ProofReduce( Vec_Set_t * vProof, void * pRoots, int hProofPivot ) RetValue = hTemp; pPivot = NULL; } - pNode = (satset *)Vec_SetEntry(vProof, hTemp); - assert( pNode->partA == 0 ); + { + satset * pTemp = (satset *)Vec_SetEntry(vProof, hTemp); + assert( pTemp->partA == 0 ); + assert( Proof_NodeWordNum(pNode->nEnts) == Vec_SetWordNum( 2 + pTemp->nEnts ) ); + } } Vec_SetWriteEntryNum( vProof, Vec_PtrSize(vUsed) ); Vec_PtrFree( vUsed ); |