diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2014-05-21 22:11:44 +0900 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2014-05-21 22:11:44 +0900 |
| commit | 8160721240399c5f89881a8bc5e60f4adb8f2958 (patch) | |
| tree | cde06b79db674fcdcee895c9da309149e54546f7 /src/sat/bmc | |
| parent | fe5b5ffe19c5ec444694b16f73c2e85ba77fedb9 (diff) | |
| download | abc-8160721240399c5f89881a8bc5e60f4adb8f2958.tar.gz abc-8160721240399c5f89881a8bc5e60f4adb8f2958.tar.bz2 abc-8160721240399c5f89881a8bc5e60f4adb8f2958.zip | |
Experiment with support minimization.
Diffstat (limited to 'src/sat/bmc')
| -rw-r--r-- | src/sat/bmc/bmcEco.c | 25 |
1 files changed, 23 insertions, 2 deletions
diff --git a/src/sat/bmc/bmcEco.c b/src/sat/bmc/bmcEco.c index 5f0313f5..c4fc3ba8 100644 --- a/src/sat/bmc/bmcEco.c +++ b/src/sat/bmc/bmcEco.c @@ -264,12 +264,33 @@ int Bmc_EcoPatch( Gia_Man_t * p, int nIns, int nOuts ) ***********************************************************************/ void Bmc_EcoMiterTest() { + char * pFileGold = "eco_gold.aig"; + char * pFileOld = "eco_old.aig"; Vec_Int_t * vFans; + FILE * pFile; Gia_Man_t * pMiter; Gia_Obj_t * pObj; - Gia_Man_t * pGold = Gia_AigerRead( "eco_gold.aig", 0, 0 ); - Gia_Man_t * pOld = Gia_AigerRead( "eco_old.aig", 0, 0 ); + Gia_Man_t * pGold; + Gia_Man_t * pOld; int i, RetValue; + // check that the files exist + pFile = fopen( pFileGold, "r" ); + if ( pFile == NULL ) + { + printf( "File \"%s\" does not exist.\n", pFileGold ); + return; + } + fclose( pFile ); + pFile = fopen( pFileOld, "r" ); + if ( pFile == NULL ) + { + printf( "File \"%s\" does not exist.\n", pFileOld ); + return; + } + fclose( pFile ); + // read files + pGold = Gia_AigerRead( pFileGold, 0, 0 ); + pOld = Gia_AigerRead( pFileOld, 0, 0 ); // create ECO miter vFans = Vec_IntAlloc( Gia_ManCiNum(pOld) ); Gia_ManForEachCi( pOld, pObj, i ) |