From ccaa96549ff1d5dabbd95fdce4777a104ea9c139 Mon Sep 17 00:00:00 2001 From: Alan Mishchenko Date: Thu, 29 May 2014 10:39:55 -0700 Subject: Fixing the problem with 'phase -c'. --- src/aig/gia/gia.h | 1 + 1 file changed, 1 insertion(+) (limited to 'src/aig/gia/gia.h') diff --git a/src/aig/gia/gia.h b/src/aig/gia/gia.h index 62b7c89a..052966f7 100644 --- a/src/aig/gia/gia.h +++ b/src/aig/gia/gia.h @@ -963,6 +963,7 @@ extern Gia_Man_t * Gia_ManPerformBidec( Gia_Man_t * p, int fVerbose ); /*=== giaCex.c ============================================================*/ extern int Gia_ManVerifyCex( Gia_Man_t * pAig, Abc_Cex_t * p, int fDualOut ); extern int Gia_ManFindFailedPoCex( Gia_Man_t * pAig, Abc_Cex_t * p, int nOutputs ); +extern int Gia_ManSetFailedPoCex( Gia_Man_t * pAig, Abc_Cex_t * p ); extern void Gia_ManCounterExampleValueStart( Gia_Man_t * pGia, Abc_Cex_t * pCex ); extern void Gia_ManCounterExampleValueStop( Gia_Man_t * pGia ); extern int Gia_ManCounterExampleValueLookup( Gia_Man_t * pGia, int Id, int iFrame ); -- cgit v1.2.3