From 184c5d4ea467731005c92bc159c68d57c83c6c6a Mon Sep 17 00:00:00 2001 From: Alan Mishchenko Date: Fri, 28 Jun 2013 10:42:31 -0700 Subject: Adding timeout to the interpolant computation procedure. --- src/proof/int/intM114.c | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) (limited to 'src/proof/int') 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; } -- cgit v1.2.3