diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2009-03-15 08:01:00 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2009-03-15 08:01:00 -0700 |
| commit | 770bc99e79baa07a9d2cc7a25dc30ee86ed34d91 (patch) | |
| tree | c1240cf561832c51469197f7d01c91844b09c6a7 /src/aig/gia/giaCSat0.c | |
| parent | 81b51657f5c502e45418630614fd56e5e1506230 (diff) | |
| download | abc-770bc99e79baa07a9d2cc7a25dc30ee86ed34d91.tar.gz abc-770bc99e79baa07a9d2cc7a25dc30ee86ed34d91.tar.bz2 abc-770bc99e79baa07a9d2cc7a25dc30ee86ed34d91.zip | |
Version abc90315
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 ); |