diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2019-01-22 22:44:07 -0800 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2019-01-22 22:44:07 -0800 |
| commit | f86cfc937e61c04af6cba680af52e176a20f8842 (patch) | |
| tree | f4218d71300725c1ec215c7ceb9a301acf2d5139 /src/base/wlc/wlcWriteVer.c | |
| parent | 72e3b4ca7873f1d14097bc03adb486e71672dd84 (diff) | |
| download | abc-f86cfc937e61c04af6cba680af52e176a20f8842.tar.gz abc-f86cfc937e61c04af6cba680af52e176a20f8842.tar.bz2 abc-f86cfc937e61c04af6cba680af52e176a20f8842.zip | |
Experiments with memory abstraction.
Diffstat (limited to 'src/base/wlc/wlcWriteVer.c')
| -rw-r--r-- | src/base/wlc/wlcWriteVer.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/base/wlc/wlcWriteVer.c b/src/base/wlc/wlcWriteVer.c index 30f10e14..90d49ade 100644 --- a/src/base/wlc/wlcWriteVer.c +++ b/src/base/wlc/wlcWriteVer.c @@ -578,7 +578,7 @@ void Wlc_WriteVer( Wlc_Ntk_t * p, char * pFileName, int fAddCos, int fNoFlops ) fprintf( stdout, "Wlc_WriteVer(): Cannot open the output file \"%s\".\n", pFileName ); return; } - fprintf( pFile, "// Benchmark \"%s\" written by ABC on %s\n", p->pName, Extra_TimeStamp() ); + fprintf( pFile, "// Benchmark \"%s\" from file \"%s\" written by ABC on %s\n", p->pName, p->pSpec ? p->pSpec : "unknown", Extra_TimeStamp() ); fprintf( pFile, "\n" ); Wlc_WriteTables( pFile, p ); if ( fAddCos ) |