diff options
Diffstat (limited to 'src/aig/gia/giaCSat0.c')
-rw-r--r-- | src/aig/gia/giaCSat0.c | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/src/aig/gia/giaCSat0.c b/src/aig/gia/giaCSat0.c index 599ad43c..a0d567a2 100644 --- a/src/aig/gia/giaCSat0.c +++ b/src/aig/gia/giaCSat0.c @@ -122,8 +122,10 @@ void Gia_SatVerifyPattern( Gia_Man_t * p, Gia_Obj_t * pRoot, Vec_Int_t * vCex, V } Value = Gia_XsimNotCond( Value, Gia_ObjFaninC0(pRoot) ); if ( Value != GIA_ONE ) - printf( "Gia_SatVerifyPattern(): Verification failed.\n" ); - assert( Value == GIA_ONE ); + printf( "Gia_SatVerifyPattern(): Verification FAILED.\n" ); +// else +// printf( "Gia_SatVerifyPattern(): Verification succeeded.\n" ); +// assert( Value == GIA_ONE ); // clean the nodes Gia_ManForEachObjVec( vVisit, p, pObj, i ) Sat_ObjSetXValue( pObj, 0 ); |