From ff5fdb92e273eef5bd51c5df3a7f88449c578d0d Mon Sep 17 00:00:00 2001 From: Alan Mishchenko Date: Fri, 3 Dec 2010 01:21:49 -0800 Subject: Bug fix in &srm (not generating result when there is no equivs) --- src/aig/gia/giaEquiv.c | 2 ++ 1 file changed, 2 insertions(+) (limited to 'src/aig') diff --git a/src/aig/gia/giaEquiv.c b/src/aig/gia/giaEquiv.c index 668bc4a2..4c19b4f5 100644 --- a/src/aig/gia/giaEquiv.c +++ b/src/aig/gia/giaEquiv.c @@ -836,11 +836,13 @@ Gia_Man_t * Gia_ManSpecReduce( Gia_Man_t * p, int fDualOut, int fSynthesis, int printf( "Gia_ManSpecReduce(): Dual-output miter should have even number of POs.\n" ); return NULL; } +/* if ( Gia_ManHasNoEquivs(p) ) { printf( "Gia_ManSpecReduce(): There are no equivalences to reduce.\n" ); return NULL; } +*/ /* if ( !Gia_ManCheckTopoOrder( p ) ) { -- cgit v1.2.3