From 3e5e7a254426bac5b5f9634ff5f087faf275c2c1 Mon Sep 17 00:00:00 2001
From: Alan Mishchenko <alanmi@berkeley.edu>
Date: Wed, 29 Feb 2012 10:51:05 -0800
Subject: Added skipping &iso when there is only one PO.

---
 src/aig/gia/giaIso.c | 2 ++
 1 file changed, 2 insertions(+)

(limited to 'src/aig/gia/giaIso.c')

diff --git a/src/aig/gia/giaIso.c b/src/aig/gia/giaIso.c
index c5210545..5e47c9b7 100644
--- a/src/aig/gia/giaIso.c
+++ b/src/aig/gia/giaIso.c
@@ -977,6 +977,8 @@ Gia_Man_t * Gia_ManIsoReduce( Gia_Man_t * p, Vec_Ptr_t ** pvPosEquivs, int fVerb
 
     // create preliminary equivalences
     vEquivs = Gia_IsoDeriveEquivPos( p, 1, fVeryVerbose );
+    if ( vEquivs == NULL )
+        return NULL;
 //    printf( "Reduced %d outputs to %d outputs.  ", Gia_ManPoNum(p), Vec_PtrSize(vEquivs) );
 //    Abc_PrintTime( 1, "Time", clock() - clk );
 
-- 
cgit v1.2.3