diff options
author | Alan Mishchenko <alanmi@berkeley.edu> | 2012-12-02 01:44:17 -0800 |
---|---|---|
committer | Alan Mishchenko <alanmi@berkeley.edu> | 2012-12-02 01:44:17 -0800 |
commit | f1749fa594e9d454ab6c3a247c76488268587a27 (patch) | |
tree | 904490538d0dda5433f3f2a9666b4e66fe7f6621 /src/base | |
parent | 4d67a04b1984727c61c684da455e91dd4b4ae9c7 (diff) | |
download | abc-f1749fa594e9d454ab6c3a247c76488268587a27.tar.gz abc-f1749fa594e9d454ab6c3a247c76488268587a27.tar.bz2 abc-f1749fa594e9d454ab6c3a247c76488268587a27.zip |
Enabling additional stat printouts.
Diffstat (limited to 'src/base')
-rw-r--r-- | src/base/abci/abcRec3.c | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/base/abci/abcRec3.c b/src/base/abci/abcRec3.c index 333c3cfa..00609926 100644 --- a/src/base/abci/abcRec3.c +++ b/src/base/abci/abcRec3.c @@ -731,6 +731,7 @@ p->timeCanon += clock() - clk; clk = clock(); // add the resulting truth table to the hash table Index = Vec_MemHashInsert( p->vTtMem, p->pTemp1 ); +/* if ( p->vTruthFreqs == NULL ) p->vTruthFreqs = Vec_IntAlloc( 1000 ); assert( Index <= Vec_IntSize(p->vTruthFreqs) ); @@ -738,6 +739,7 @@ clk = clock(); Vec_IntAddToEntry( p->vTruthFreqs, Index, 1 ); else Vec_IntPush( p->vTruthFreqs, 1 ); +*/ p->nAdded++; p->timeInsert += clock() - clk; return 1; |