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/wlc | |
| 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/wlc')
| -rw-r--r-- | src/base/wlc/wlcBlast.c | 4 | ||||
| -rw-r--r-- | src/base/wlc/wlcMem.c | 2 | ||||
| -rw-r--r-- | src/base/wlc/wlcReadVer.c | 2 |
3 files changed, 4 insertions, 4 deletions
diff --git a/src/base/wlc/wlcBlast.c b/src/base/wlc/wlcBlast.c index 4b59379b..c5c351c4 100644 --- a/src/base/wlc/wlcBlast.c +++ b/src/base/wlc/wlcBlast.c @@ -2361,8 +2361,8 @@ Gia_Man_t * Wlc_NtkBitBlast( Wlc_Ntk_t * p, Wlc_BstPar_t * pParIn ) assert( Gia_ManPoNum(pNew) % 2 == 0 ); sprintf( pFileName0, "%s_lhs_.aig", pNameGeneric ); sprintf( pFileName1, "%s_rhs_.aig", pNameGeneric ); - Gia_AigerWrite( pGia0, pFileName0, 0, 0 ); - Gia_AigerWrite( pGia1, pFileName1, 0, 0 ); + Gia_AigerWrite( pGia0, pFileName0, 0, 0, 0 ); + Gia_AigerWrite( pGia1, pFileName1, 0, 0, 0 ); Gia_ManStop( pGia0 ); Gia_ManStop( pGia1 ); Vec_IntFree( vOrder ); diff --git a/src/base/wlc/wlcMem.c b/src/base/wlc/wlcMem.c index ccc319e5..fd844b62 100644 --- a/src/base/wlc/wlcMem.c +++ b/src/base/wlc/wlcMem.c @@ -1006,7 +1006,7 @@ int Wlc_NtkMemAbstract( Wlc_Ntk_t * p, int nIterMax, int fDumpAbs, int fPdrVerbo if ( fDumpAbs ) { char * pFileName = "mem_abs.aig"; - Gia_AigerWrite( pAbs, pFileName, 0, 0 ); + Gia_AigerWrite( pAbs, pFileName, 0, 0, 0 ); printf( "Iteration %3d: Dumped abstraction in file \"%s\" after finding CEX in frame %d.\n", nIters, pFileName, pCex ? pCex->iFrame : -1 ); } diff --git a/src/base/wlc/wlcReadVer.c b/src/base/wlc/wlcReadVer.c index 42332819..d8187bd4 100644 --- a/src/base/wlc/wlcReadVer.c +++ b/src/base/wlc/wlcReadVer.c @@ -1663,7 +1663,7 @@ void Io_ReadWordTest( char * pFileName ) Wlc_WriteVer( pNtk, "test.v", 0, 0 ); pNew = Wlc_NtkBitBlast( pNtk, NULL ); - Gia_AigerWrite( pNew, "test.aig", 0, 0 ); + Gia_AigerWrite( pNew, "test.aig", 0, 0, 0 ); Gia_ManStop( pNew ); Wlc_NtkFree( pNtk ); |