diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2021-03-28 15:40:27 -1000 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2021-03-28 15:40:27 -1000 |
| commit | 9145a5c20d5fe85523364d7fe2727b8d83c90aaa (patch) | |
| tree | 6cd8e6bd0abc6332d67e144a9790cb5bb8ff2cac /src/aig/gia/giaGen.c | |
| parent | 18088bd7dcf3de03cc4f9a439e6b41d04e2f8413 (diff) | |
| download | abc-9145a5c20d5fe85523364d7fe2727b8d83c90aaa.tar.gz abc-9145a5c20d5fe85523364d7fe2727b8d83c90aaa.tar.bz2 abc-9145a5c20d5fe85523364d7fe2727b8d83c90aaa.zip | |
An option to extend the number of primary inputs.
Diffstat (limited to 'src/aig/gia/giaGen.c')
| -rw-r--r-- | src/aig/gia/giaGen.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/aig/gia/giaGen.c b/src/aig/gia/giaGen.c index 5857080b..3c0d2235 100644 --- a/src/aig/gia/giaGen.c +++ b/src/aig/gia/giaGen.c @@ -877,7 +877,7 @@ void Gia_ManTestWordFile( Gia_Man_t * p, char * pFileName, char * pDumpFile, int char * pKnownFileNames[3] = {"small.aig", "medium.aig", "large.aig"}; int pLimitFileSizes[3] = {10000, 100000, 1000000}; for ( i = 0; i < 3; i++ ) - if ( !strncmp(p->pSpec, pKnownFileNames[i], 5) && Gia_ManAndNum(p) > pLimitFileSizes[i] ) + if ( p->pSpec && !strncmp(p->pSpec, pKnownFileNames[i], 5) && Gia_ManAndNum(p) > pLimitFileSizes[i] ) printf( "Warning: The input file \"%s\" contains more than %d internal and-nodes.\n", pKnownFileNames[i], pLimitFileSizes[i] ); if ( nInputs == Gia_ManCiNum(p) ) { |