diff options
Diffstat (limited to 'src/misc/util/utilIsop.c')
| -rw-r--r-- | src/misc/util/utilIsop.c | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/misc/util/utilIsop.c b/src/misc/util/utilIsop.c index ea03c027..292faf61 100644 --- a/src/misc/util/utilIsop.c +++ b/src/misc/util/utilIsop.c @@ -1102,7 +1102,7 @@ int Abc_IsopTest( word * pFunc, int nVars, Vec_Int_t * vCover ) TotalCost[4] += Abc_CostCubes(Cost); TotalTime[4] += Abc_Clock() - clk; */ - +/* // try old computation clk = Abc_Clock(); Cost = Kit_TruthIsop( (unsigned *)pFunc, nVars, vCover, 1 ); @@ -1112,7 +1112,7 @@ int Abc_IsopTest( word * pFunc, int nVars, Vec_Int_t * vCover ) printf( "%5d %7d ", Vec_IntSize(vCover), Abc_IsopCountLits(vCover, nVars) ); TotalCost[4] += Vec_IntSize(vCover); TotalTime[4] += Abc_Clock() - clk; - +*/ clk = Abc_Clock(); Cost = Abc_Isop( pFunc, nVars, ABC_ISOP_MAX_CUBE, vCover, 1 ); |