From 50fac8a0987244b1e3684ad62a8afc6c14e36193 Mon Sep 17 00:00:00 2001 From: Alan Mishchenko Date: Sun, 6 May 2012 22:52:56 +0800 Subject: Bug fix in fraig_restore. --- src/base/abci/abcFraig.c | 9 ++++++--- 1 file changed, 6 insertions(+), 3 deletions(-) (limited to 'src') diff --git a/src/base/abci/abcFraig.c b/src/base/abci/abcFraig.c index e1c12b3f..5ca34ba1 100644 --- a/src/base/abci/abcFraig.c +++ b/src/base/abci/abcFraig.c @@ -712,9 +712,12 @@ Abc_Ntk_t * Abc_NtkFraigRestore() // swap the first and last network // this should lead to the primary choice being "better" because of synthesis - pNtk = (Abc_Ntk_t *)Vec_PtrPop( vStore ); - Vec_PtrPush( vStore, Vec_PtrEntry(vStore,0) ); - Vec_PtrWriteEntry( vStore, 0, pNtk ); + if ( Vec_PtrSize(vStore) > 1 ) + { + pNtk = (Abc_Ntk_t *)Vec_PtrPop( vStore ); + Vec_PtrPush( vStore, Vec_PtrEntry(vStore,0) ); + Vec_PtrWriteEntry( vStore, 0, pNtk ); + } // to determine the number of simulation patterns // use the following strategy -- cgit v1.2.3