diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2007-08-31 08:01:00 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2007-08-31 08:01:00 -0700 |
| commit | 9f5ef0d6184ef9c73591250ef00b18edfd99885b (patch) | |
| tree | 73c040facc2610ea9ae64e14b6f2ff12e8c7f311 /src/base/abci/abcPart.c | |
| parent | ddc6d1c1682a18e293399b7d6c9f4a9018c30c70 (diff) | |
| download | abc-9f5ef0d6184ef9c73591250ef00b18edfd99885b.tar.gz abc-9f5ef0d6184ef9c73591250ef00b18edfd99885b.tar.bz2 abc-9f5ef0d6184ef9c73591250ef00b18edfd99885b.zip | |
Version abc70831
Diffstat (limited to 'src/base/abci/abcPart.c')
| -rw-r--r-- | src/base/abci/abcPart.c | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/src/base/abci/abcPart.c b/src/base/abci/abcPart.c index f0989b23..23e9d28d 100644 --- a/src/base/abci/abcPart.c +++ b/src/base/abci/abcPart.c @@ -366,7 +366,7 @@ timeFind += clock() - clk2; Vec_PtrPush( vPartsAll, vPart ); Vec_PtrPush( vPartSuppsAll, vPartSupp ); - Vec_PtrPush( vPartSuppsChar, Abc_NtkSuppCharStart(vOne, Abc_NtkPiNum(pNtk)) ); + Vec_PtrPush( vPartSuppsChar, Abc_NtkSuppCharStart(vOne, Abc_NtkCiNum(pNtk)) ); } else { @@ -380,7 +380,7 @@ timeFind += clock() - clk2; // reinsert new support Vec_PtrWriteEntry( vPartSuppsAll, iPart, vPartSupp ); - Abc_NtkSuppCharAdd( Vec_PtrEntry(vPartSuppsChar, iPart), vOne, Abc_NtkPiNum(pNtk) ); + Abc_NtkSuppCharAdd( Vec_PtrEntry(vPartSuppsChar, iPart), vOne, Abc_NtkCiNum(pNtk) ); } } @@ -801,7 +801,7 @@ Abc_Ntk_t * Abc_NtkFraigPartitioned( Abc_Ntk_t * pNtk, void * pParams ) // perform partitioning assert( Abc_NtkIsStrash(pNtk) ); // vParts = Abc_NtkPartitionNaive( pNtk, 20 ); - vParts = Abc_NtkPartitionSmart( pNtk, 0, 1 ); + vParts = Abc_NtkPartitionSmart( pNtk, 0, 0 ); Cmd_CommandExecute( Abc_FrameGetGlobalFrame(), "unset progressbar" ); |