diff options
Diffstat (limited to 'src/base/exor')
| -rw-r--r-- | src/base/exor/exor.c | 7 | ||||
| -rw-r--r-- | src/base/exor/exor.h | 1 |
2 files changed, 5 insertions, 3 deletions
diff --git a/src/base/exor/exor.c b/src/base/exor/exor.c index e800744c..9aec90d7 100644 --- a/src/base/exor/exor.c +++ b/src/base/exor/exor.c @@ -742,9 +742,9 @@ int Exorcism( Vec_Wec_t * vEsop, int nIns, int nOuts, char * pFileNameOut ) printf( "The number of cubes in the starting cover is %d\n", g_CoverInfo.nCubesBefore ); } - if ( g_CoverInfo.nCubesBefore > 20000 ) + if ( g_CoverInfo.nCubesBefore > g_CoverInfo.nCubesMax ) { - printf( "\nThe size of the starting cover is more than 20000 cubes. Quitting...\n" ); + printf( "\nThe size of the starting cover is more than %d cubes. Quitting...\n", g_CoverInfo.nCubesMax ); return 0; } @@ -852,11 +852,12 @@ int Exorcism( Vec_Wec_t * vEsop, int nIns, int nOuts, char * pFileNameOut ) SeeAlso [] ***********************************************************************/ -int Abc_ExorcismMain( Vec_Wec_t * vEsop, int nIns, int nOuts, char * pFileNameOut, int Quality, int Verbosity, int fUseQCost ) +int Abc_ExorcismMain( Vec_Wec_t * vEsop, int nIns, int nOuts, char * pFileNameOut, int Quality, int Verbosity, int nCubesMax, int fUseQCost ) { memset( &g_CoverInfo, 0, sizeof(cinfo) ); g_CoverInfo.Quality = Quality; g_CoverInfo.Verbosity = Verbosity; + g_CoverInfo.nCubesMax = nCubesMax; g_CoverInfo.fUseQCost = fUseQCost; if ( g_CoverInfo.Verbosity ) { diff --git a/src/base/exor/exor.h b/src/base/exor/exor.h index 15a62bbe..afd9cc08 100644 --- a/src/base/exor/exor.h +++ b/src/base/exor/exor.h @@ -112,6 +112,7 @@ typedef struct cinfo_tag int Verbosity; // verbosity level int Quality; // quality + int nCubesMax; // maximum number of cubes in starting cover int fUseQCost; // use q-cost instead of literal count abctime TimeRead; // reading time |