diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2006-12-04 08:01:00 -0800 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2006-12-04 08:01:00 -0800 |
| commit | 52e5b91cbbfe587bae80984bb3672e4c1a70203c (patch) | |
| tree | 0aec31b1121e4eb690f1dc17b3c76617b723fe5e /src/base/abci/abcIf.c | |
| parent | 44d220d28fa2ee56cb539e03684f021731814f17 (diff) | |
| download | abc-52e5b91cbbfe587bae80984bb3672e4c1a70203c.tar.gz abc-52e5b91cbbfe587bae80984bb3672e4c1a70203c.tar.bz2 abc-52e5b91cbbfe587bae80984bb3672e4c1a70203c.zip | |
Version abc61204
Diffstat (limited to 'src/base/abci/abcIf.c')
| -rw-r--r-- | src/base/abci/abcIf.c | 7 |
1 files changed, 5 insertions, 2 deletions
diff --git a/src/base/abci/abcIf.c b/src/base/abci/abcIf.c index 70971952..704c8ebb 100644 --- a/src/base/abci/abcIf.c +++ b/src/base/abci/abcIf.c @@ -55,7 +55,11 @@ Abc_Ntk_t * Abc_NtkIf( Abc_Ntk_t * pNtk, If_Par_t * pPars ) // print a warning about choice nodes if ( Abc_NtkGetChoiceNum( pNtk ) ) - printf( "Performing FPGA mapping with choices.\n" ); + { +// printf( "Performing FPGA mapping with choices.\n" ); + printf( "Currently mapping with choices is not enabled.\n" ); + return NULL; + } // get timing information pPars->pTimesArr = Abc_NtkGetCiArrivalFloats(pNtk); @@ -223,7 +227,6 @@ Abc_Obj_t * Abc_NodeFromIf_rec( Abc_Ntk_t * pNtkNew, If_Man_t * pIfMan, If_Obj_t return pNodeNew; } - /**Function************************************************************* Synopsis [Recursively derives the truth table for the cut.] |