diff options
Diffstat (limited to 'src/map/if/ifTune.c')
| -rw-r--r-- | src/map/if/ifTune.c | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/map/if/ifTune.c b/src/map/if/ifTune.c index 95f598fd..7b3adfec 100644 --- a/src/map/if/ifTune.c +++ b/src/map/if/ifTune.c @@ -807,6 +807,8 @@ void Ifn_NtkRead() // char * pStr = "g=<abc>;h=<ade>;i={fgh};"; char * pStr = "i=<abc>;j=(def);k=[gh];l={ijk};"; Ifn_Ntk_t * p = Ifn_NtkParse( pStr ); + if ( p == NULL ) + return; Ifn_NtkPrint( p ); Dau_DsdPrintFromTruth( pTruth, nVars ); // get the given function |