From b8bd21c82df3e610d9df2dbe6945cc20db02216d Mon Sep 17 00:00:00 2001 From: Alan Mishchenko Date: Fri, 10 Oct 2014 12:59:30 -0700 Subject: Improvements to ISOP. --- src/bool/kit/kitIsop.c | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'src/bool/kit/kitIsop.c') diff --git a/src/bool/kit/kitIsop.c b/src/bool/kit/kitIsop.c index a0a0c197..506da2e5 100644 --- a/src/bool/kit/kitIsop.c +++ b/src/bool/kit/kitIsop.c @@ -58,7 +58,7 @@ int Kit_TruthIsop( unsigned * puTruth, int nVars, Vec_Int_t * vMemory, int fTryB Kit_Sop_t cRes2, * pcRes2 = &cRes2; unsigned * pResult; int RetValue = 0; - assert( nVars >= 0 && nVars < 16 ); + assert( nVars >= 0 && nVars <= 16 ); // if nVars < 5, make sure it does not depend on those vars // for ( i = nVars; i < 5; i++ ) // assert( !Kit_TruthVarInSupport(puTruth, 5, i) ); -- cgit v1.2.3