diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2014-10-10 12:59:30 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2014-10-10 12:59:30 -0700 |
| commit | b8bd21c82df3e610d9df2dbe6945cc20db02216d (patch) | |
| tree | b00b9965afa179c51c0d44e7fde4c63a7253efb6 /src/bool | |
| parent | 5cf92f32a5da522c9c9d1810a503795f259eb59e (diff) | |
| download | abc-b8bd21c82df3e610d9df2dbe6945cc20db02216d.tar.gz abc-b8bd21c82df3e610d9df2dbe6945cc20db02216d.tar.bz2 abc-b8bd21c82df3e610d9df2dbe6945cc20db02216d.zip | |
Improvements to ISOP.
Diffstat (limited to 'src/bool')
| -rw-r--r-- | src/bool/kit/kitIsop.c | 2 |
1 files changed, 1 insertions, 1 deletions
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) ); |