diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2020-07-29 19:50:10 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2020-07-29 19:50:10 -0700 |
| commit | 5c8ee4a2c142d133afe4cbfe567b300fe4d040a8 (patch) | |
| tree | 2ba7f158ef560248e45b7644dc9471fe3d94cd0c | |
| parent | aaeadb1438b1a0116cd5912c7c827b6249f22bc4 (diff) | |
| download | abc-5c8ee4a2c142d133afe4cbfe567b300fe4d040a8.tar.gz abc-5c8ee4a2c142d133afe4cbfe567b300fe4d040a8.tar.bz2 abc-5c8ee4a2c142d133afe4cbfe567b300fe4d040a8.zip | |
New ways of reading MiniAIG.
| -rw-r--r-- | src/aig/gia/giaMini.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/aig/gia/giaMini.c b/src/aig/gia/giaMini.c index ead5e736..7a18d2d2 100644 --- a/src/aig/gia/giaMini.c +++ b/src/aig/gia/giaMini.c @@ -1028,7 +1028,7 @@ void Gia_MiniAigGenerateFromFile() Vec_Int_t * vMapOut = Vec_IntStart( Vec_IntSize(vTriples) ); Vec_Int_t * vPis = Vec_IntAlloc( 100 ); Vec_Int_t * vPos = Vec_IntAlloc( 100 ); - int i, ObjOut, ObjIn, nIns = 0, nOuts = 0; + int i, ObjOut, ObjIn; assert( Vec_IntSize(vTriples) % 3 == 0 ); for ( i = 0; i < Vec_IntSize(vTriples)/3; i++ ) { |