diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2014-09-18 22:26:54 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2014-09-18 22:26:54 -0700 |
| commit | ee727912938fdba38f08570e4ab961c0fd503dcf (patch) | |
| tree | 762850b27b429eb1d6b6f43cd3e97b5ddb41f0a0 /src/map/if/ifTune.c | |
| parent | 69699da9125fdce50c586d2c13954fb3285ccc2f (diff) | |
| download | abc-ee727912938fdba38f08570e4ab961c0fd503dcf.tar.gz abc-ee727912938fdba38f08570e4ab961c0fd503dcf.tar.bz2 abc-ee727912938fdba38f08570e4ab961c0fd503dcf.zip | |
Improvements to Boolean matching.
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 |