diff options
author | Alan Mishchenko <alanmi@berkeley.edu> | 2015-02-11 12:33:54 -0800 |
---|---|---|
committer | Alan Mishchenko <alanmi@berkeley.edu> | 2015-02-11 12:33:54 -0800 |
commit | 8cabdcb55d0a390ea45cfed631118af35796dac2 (patch) | |
tree | d99136a3c378b1115daf236b8d272f9deec4b90d /src/base/abci/abcIvy.c | |
parent | 72dbdee2023a86006f67b95027fe6acb841328c4 (diff) | |
download | abc-8cabdcb55d0a390ea45cfed631118af35796dac2.tar.gz abc-8cabdcb55d0a390ea45cfed631118af35796dac2.tar.bz2 abc-8cabdcb55d0a390ea45cfed631118af35796dac2.zip |
Adding resource limit switch -C to 'sop'.
Diffstat (limited to 'src/base/abci/abcIvy.c')
-rw-r--r-- | src/base/abci/abcIvy.c | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/base/abci/abcIvy.c b/src/base/abci/abcIvy.c index fd4f7d1c..bc1a6090 100644 --- a/src/base/abci/abcIvy.c +++ b/src/base/abci/abcIvy.c @@ -88,7 +88,7 @@ Ivy_Man_t * Abc_NtkIvyBefore( Abc_Ntk_t * pNtk, int fSeq, int fUseDc ) assert( !Abc_NtkIsNetlist(pNtk) ); if ( Abc_NtkIsBddLogic(pNtk) ) { - if ( !Abc_NtkBddToSop(pNtk, 0) ) + if ( !Abc_NtkBddToSop(pNtk, 0, ABC_INFINITY) ) { printf( "Abc_NtkIvyBefore(): Converting to SOPs has failed.\n" ); return NULL; @@ -634,7 +634,7 @@ Abc_Ntk_t * Abc_NtkIvy( Abc_Ntk_t * pNtk ) assert( !Abc_NtkIsNetlist(pNtk) ); if ( Abc_NtkIsBddLogic(pNtk) ) { - if ( !Abc_NtkBddToSop(pNtk, 0) ) + if ( !Abc_NtkBddToSop(pNtk, 0, ABC_INFINITY) ) { Vec_IntFree( vInit ); printf( "Abc_NtkIvy(): Converting to SOPs has failed.\n" ); |