diff options
author | Alan Mishchenko <alanmi@berkeley.edu> | 2018-11-21 13:12:01 -0800 |
---|---|---|
committer | Alan Mishchenko <alanmi@berkeley.edu> | 2018-11-21 13:12:01 -0800 |
commit | 5aa3025ce7264a172a070a78d7b7db0cd1fca3f0 (patch) | |
tree | 9a54b8971c74cea29c1752aefdc7d650348f7ff4 /src/base/acb | |
parent | 73695c79619fae580fa0f465ba28e1ea51f0b5e1 (diff) | |
download | abc-5aa3025ce7264a172a070a78d7b7db0cd1fca3f0.tar.gz abc-5aa3025ce7264a172a070a78d7b7db0cd1fca3f0.tar.bz2 abc-5aa3025ce7264a172a070a78d7b7db0cd1fca3f0.zip |
Adding switch &w -n to modify the comment section of the AIGER file written.
Diffstat (limited to 'src/base/acb')
-rw-r--r-- | src/base/acb/acbCom.c | 2 | ||||
-rw-r--r-- | src/base/acb/acbFunc.c | 8 |
2 files changed, 5 insertions, 5 deletions
diff --git a/src/base/acb/acbCom.c b/src/base/acb/acbCom.c index c2eae924..3d62454d 100644 --- a/src/base/acb/acbCom.c +++ b/src/base/acb/acbCom.c @@ -664,7 +664,7 @@ int Acb_CommandCec( Abc_Frame_t * pAbc, int argc, char ** argv ) if ( fDumpMiter ) { Abc_Print( 0, "The verification miter is written into file \"%s\".\n", "cec_miter.aig" ); - Gia_AigerWrite( pMiter, "cec_miter.aig", 0, 0 ); + Gia_AigerWrite( pMiter, "cec_miter.aig", 0, 0, 0 ); } pAbc->Status = Cec_ManVerify( pMiter, pPars ); //Abc_FrameReplaceCex( pAbc, &pAbc->pGia->pCexComb ); diff --git a/src/base/acb/acbFunc.c b/src/base/acb/acbFunc.c index 1efb5807..f6fcf2b0 100644 --- a/src/base/acb/acbFunc.c +++ b/src/base/acb/acbFunc.c @@ -2036,14 +2036,14 @@ Cnf_Dat_t * Acb_NtkEcoCompute( Gia_Man_t * p, int iTar, int nTars ) Gia_ManStop( p ); pCof1 = Acb_NtkEcoSynthesize( p = pCof1 ); Gia_ManStop( p ); - Gia_AigerWrite( pCof0, "eco_qbf0.aig", 0, 0 ); - Gia_AigerWrite( pCof1, "eco_qbf1.aig", 0, 0 ); + Gia_AigerWrite( pCof0, "eco_qbf0.aig", 0, 0, 0 ); + Gia_AigerWrite( pCof1, "eco_qbf1.aig", 0, 0, 0 ); Gia_ManStop( pCof0 ); Gia_ManStop( pCof1 ); printf( "Dumped cof0 into file \"%s\".\n", "eco_qbf0.aig" ); printf( "Dumped cof1 into file \"%s\".\n", "eco_qbf1.aig" ); } -// Gia_AigerWrite( pCof, "eco_qbf.aig", 0, 0 ); +// Gia_AigerWrite( pCof, "eco_qbf.aig", 0, 0, 0 ); // printf( "Dumped the result of quantification into file \"%s\".\n", "eco_qbf.aig" ); pCnf = (Cnf_Dat_t *)Mf_ManGenerateCnf( pCof, 8, 0, 0, 0, 0 ); Gia_ManStop( pCof ); @@ -2445,7 +2445,7 @@ int Acb_NtkEcoPerform( Acb_Ntk_t * pNtkF, Acb_Ntk_t * pNtkG, char * pFileNameF, // generate output files Acb_GenerateFilePatch( vPatch, "patch.v" ); Acb_GenerateFileOut( vInst, pFileNameF, "out.v", vPatch ); - //Gia_AigerWrite( pGiaG, "test.aig", 0, 0 ); + //Gia_AigerWrite( pGiaG, "test.aig", 0, 0, 0 ); cleanup: // cleanup if ( vGias ) |