From 8cabdcb55d0a390ea45cfed631118af35796dac2 Mon Sep 17 00:00:00 2001 From: Alan Mishchenko Date: Wed, 11 Feb 2015 12:33:54 -0800 Subject: Adding resource limit switch -C to 'sop'. --- src/base/abci/abcIvy.c | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) (limited to 'src/base/abci/abcIvy.c') 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" ); -- cgit v1.2.3