diff options
author | Alan Mishchenko <alanmi@berkeley.edu> | 2015-07-07 15:38:54 -0700 |
---|---|---|
committer | Alan Mishchenko <alanmi@berkeley.edu> | 2015-07-07 15:38:54 -0700 |
commit | 8efc9cb7a97ef16de0869656c7bf00f4e2111594 (patch) | |
tree | ba397c1907dd7210f803522bd39ed2b405c22a28 /src/base/wlc/wlcWriteVer.c | |
parent | 43ad54b9388f0b858f4401e77cfd5d7200819b93 (diff) | |
download | abc-8efc9cb7a97ef16de0869656c7bf00f4e2111594.tar.gz abc-8efc9cb7a97ef16de0869656c7bf00f4e2111594.tar.bz2 abc-8efc9cb7a97ef16de0869656c7bf00f4e2111594.zip |
Bug fixing in %blast when blasting mod operator (handling zero divisor).
Diffstat (limited to 'src/base/wlc/wlcWriteVer.c')
-rw-r--r-- | src/base/wlc/wlcWriteVer.c | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/src/base/wlc/wlcWriteVer.c b/src/base/wlc/wlcWriteVer.c index 41b83a70..f895d42c 100644 --- a/src/base/wlc/wlcWriteVer.c +++ b/src/base/wlc/wlcWriteVer.c @@ -381,7 +381,7 @@ void Wlc_WriteVerInt( FILE * pFile, Wlc_Ntk_t * p ) assert( !p->vInits || iFanin == (int)strlen(p->pInits) ); fprintf( pFile, "endmodule\n\n" ); } -void Wlc_WriteVer( Wlc_Ntk_t * p, char * pFileName ) +void Wlc_WriteVer( Wlc_Ntk_t * p, char * pFileName, int fAddCos ) { FILE * pFile; pFile = fopen( pFileName, "w" ); @@ -393,7 +393,8 @@ void Wlc_WriteVer( Wlc_Ntk_t * p, char * pFileName ) fprintf( pFile, "// Benchmark \"%s\" written by ABC on %s\n", p->pName, Extra_TimeStamp() ); fprintf( pFile, "\n" ); Wlc_WriteTables( pFile, p ); -// Wlc_WriteAddPos( p ); + if ( fAddCos ) + Wlc_WriteAddPos( p ); Wlc_WriteVerInt( pFile, p ); fprintf( pFile, "\n" ); fclose( pFile ); |