Added support for generating a library of real-life truth-tables.

This commit is contained in:
Alan Mishchenko 2011-12-09 00:38:16 -08:00
parent 200c5cc659
commit beb29257bf
1 changed files with 0 additions and 2 deletions

View File

@ -929,8 +929,6 @@ int IoCommandReadTruth( Abc_Frame_t * pAbc, int argc, char ** argv )
goto usage;
}
c = strlen(argv[globalUtilOptind]);
// convert truth table to SOP
if ( fHex )
pSopCover = Abc_SopFromTruthHex(argv[globalUtilOptind]);