From 0f1a758c2f2766294b27e6e9f166e792f42b6497 Mon Sep 17 00:00:00 2001 From: Yen-Sheng Ho Date: Sun, 9 Apr 2017 17:59:34 -0700 Subject: %pdra: bug fix --- src/base/wlc/wlcAbs.c | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'src') diff --git a/src/base/wlc/wlcAbs.c b/src/base/wlc/wlcAbs.c index 3922f21e..c56d1262 100644 --- a/src/base/wlc/wlcAbs.c +++ b/src/base/wlc/wlcAbs.c @@ -1717,7 +1717,7 @@ int Wla_ManSolve( Wla_Man_t * pWla, Wlc_Par_t * pPars ) RetValue = Wla_ManSolveInt( pWla, pAig ); Aig_ManStop( pAig ); - if ( RetValue != -1 || pPars->pFuncStop( pPars->RunId) ) + if ( RetValue != -1 || (pPars->pFuncStop && pPars->pFuncStop( pPars->RunId)) ) break; Wla_ManRefine( pWla ); -- cgit v1.2.3