From 3418a8820a4928d1b825001ec4c5c17a5ab2caba Mon Sep 17 00:00:00 2001 From: Alan Mishchenko Date: Sat, 17 Dec 2011 17:51:13 -0800 Subject: Fixed a bug in matching code. --- src/aig/fra/fraCec.c | 2 +- src/base/io/ioWriteBlif.c | 5 ++++- 2 files changed, 5 insertions(+), 2 deletions(-) (limited to 'src') diff --git a/src/aig/fra/fraCec.c b/src/aig/fra/fraCec.c index 38bf73d9..6e655590 100644 --- a/src/aig/fra/fraCec.c +++ b/src/aig/fra/fraCec.c @@ -253,7 +253,7 @@ int Fra_FraigSat( Aig_Man_t * pMan, ABC_INT64_T nConfLimit, ABC_INT64_T nInsLimi pMan->pData = Sat_SolverGetModel( pSat, vCiIds->pArray, vCiIds->nSize ); } // free the sat_solver -// if ( fVerbose ) + if ( fVerbose ) Sat_SolverPrintStats( stdout, pSat ); //sat_solver_store_write( pSat, "trace.cnf" ); //sat_solver_store_free( pSat ); diff --git a/src/base/io/ioWriteBlif.c b/src/base/io/ioWriteBlif.c index 1acd9177..9dc96afb 100644 --- a/src/base/io/ioWriteBlif.c +++ b/src/base/io/ioWriteBlif.c @@ -964,7 +964,10 @@ void Io_NtkWriteNodeIntStruct( FILE * pFile, Abc_Obj_t * pNode, Vec_Int_t * vCov // write leaf node fprintf( pFile, ".names" ); for ( i = 0; i < pLut2[0]; i++ ) - fprintf( pFile, " %s", Abc_ObjName(Abc_ObjFanin(pNode,pLut2[2+i])) ); + if ( pLut2[2+i] == nLeaves ) + fprintf( pFile, " %s_lut1", Abc_ObjName(Abc_ObjFanout0(pNode)) ); + else + fprintf( pFile, " %s", Abc_ObjName(Abc_ObjFanin(pNode,pLut2[2+i])) ); fprintf( pFile, " %s_lut2\n", Abc_ObjName(Abc_ObjFanout0(pNode)) ); // write SOP pSop = Io_NtkDeriveSop( (Mem_Flex_t *)Abc_ObjNtk(pNode)->pManFunc, Func2, pLut2[0], vCover ); -- cgit v1.2.3