diff options
author | Alan Mishchenko <alanmi@berkeley.edu> | 2007-02-06 08:01:00 -0800 |
---|---|---|
committer | Alan Mishchenko <alanmi@berkeley.edu> | 2007-02-06 08:01:00 -0800 |
commit | a13c64a5b4164b5a10943c0d5283260252be30d0 (patch) | |
tree | 790d3d526396ef0ea7f00dddb99283e73e94e00e /src/base/io | |
parent | 8da52b6f202444711da6b1f1baac92e0a516c8e6 (diff) | |
download | abc-a13c64a5b4164b5a10943c0d5283260252be30d0.tar.gz abc-a13c64a5b4164b5a10943c0d5283260252be30d0.tar.bz2 abc-a13c64a5b4164b5a10943c0d5283260252be30d0.zip |
Version abc70206
Diffstat (limited to 'src/base/io')
-rw-r--r-- | src/base/io/ioReadBlifMv.c | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/src/base/io/ioReadBlifMv.c b/src/base/io/ioReadBlifMv.c index c55cc4c9..e6831dba 100644 --- a/src/base/io/ioReadBlifMv.c +++ b/src/base/io/ioReadBlifMv.c @@ -176,6 +176,8 @@ Abc_Lib_t * Io_ReadBlifMv( char * pFileName, int fBlifMv, int fCheck ) } } } +// pDesign should be linked to all models of the design + Io_WriteBlifMvDesign( pDesign, "_temp_.mv" ); Abc_LibPrint( pDesign ); Abc_LibFree( pDesign ); @@ -637,7 +639,7 @@ static void Io_MvReadInterfaces( Io_MvMan_t * p ) /**Function************************************************************* - Synopsis [Reads the AIG in the binary AIGER format.] + Synopsis [] Description [] |