diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2014-09-30 19:51:39 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2014-09-30 19:51:39 -0700 |
| commit | ed1bf0000e5f2e7538274057f94261fc0eae0e30 (patch) | |
| tree | bef812dd38198578d50b54b80522a132434725e4 /src/misc/extra | |
| parent | 69519f86cd641dc83da31b79e3b695c7a0165cf6 (diff) | |
| download | abc-ed1bf0000e5f2e7538274057f94261fc0eae0e30.tar.gz abc-ed1bf0000e5f2e7538274057f94261fc0eae0e30.tar.bz2 abc-ed1bf0000e5f2e7538274057f94261fc0eae0e30.zip | |
Improvements to bit-blaster.
Diffstat (limited to 'src/misc/extra')
| -rw-r--r-- | src/misc/extra/extraBddKmap.c | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/misc/extra/extraBddKmap.c b/src/misc/extra/extraBddKmap.c index e91172bb..aa5efe75 100644 --- a/src/misc/extra/extraBddKmap.c +++ b/src/misc/extra/extraBddKmap.c @@ -222,6 +222,8 @@ void Extra_PrintKMap( fprintf( Output, "PrintKMap(): The on-set and the off-set overlap\n" ); return; } + if ( nVars == 0 ) + { printf( "Function is constant %d.\n", !Cudd_IsComplement(OnSet) ); return; } // print truth table for debugging if ( fPrintTruth ) |