From 27be3d018524da2f5e5089b7fa5419efe19338dc Mon Sep 17 00:00:00 2001 From: Alan Mishchenko Date: Fri, 13 Sep 2013 17:25:31 -0700 Subject: Added command &struct for profiling non-dec structures. --- src/aig/gia/giaJf.c | 2 ++ 1 file changed, 2 insertions(+) (limited to 'src/aig/gia/giaJf.c') diff --git a/src/aig/gia/giaJf.c b/src/aig/gia/giaJf.c index 3c790fd8..6c45a749 100644 --- a/src/aig/gia/giaJf.c +++ b/src/aig/gia/giaJf.c @@ -1024,6 +1024,8 @@ void Jf_ObjComputeCuts( Jf_Man_t * p, Gia_Obj_t * pObj, int fEdge ) assert( pSto[c]->pCut[0] <= nOldSupp ); if ( pSto[c]->pCut[0] < nOldSupp ) pSto[c]->Sign = Jf_CutGetSign( pSto[c]->pCut ); + if ( pSto[c]->iFunc >= (1 << 22) ) + printf( "Hard limit on the number of different Boolean functions (2^21) is reached. Quitting...\n" ), exit(1); } else { -- cgit v1.2.3