diff options
Diffstat (limited to 'src/proof/int/intM114.c')
| -rw-r--r-- | src/proof/int/intM114.c | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/src/proof/int/intM114.c b/src/proof/int/intM114.c index 64b18ae0..e5da012a 100644 --- a/src/proof/int/intM114.c +++ b/src/proof/int/intM114.c @@ -304,11 +304,13 @@ clk = Abc_Clock(); */ pManInterA = Inta_ManAlloc(); - p->pInterNew = (Aig_Man_t *)Inta_ManInterpolate( pManInterA, (Sto_Man_t *)pSatCnf, p->vVarsAB, 0 ); + p->pInterNew = (Aig_Man_t *)Inta_ManInterpolate( pManInterA, (Sto_Man_t *)pSatCnf, nTimeNewOut, p->vVarsAB, 0 ); Inta_ManFree( pManInterA ); p->timeInt += Abc_Clock() - clk; Sto_ManFree( (Sto_Man_t *)pSatCnf ); + if ( p->pInterNew == NULL ) + RetValue = -1; return RetValue; } |