diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2012-07-08 14:01:28 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2012-07-08 14:01:28 -0700 |
| commit | ff0ec52d4d0f26b786d9c1f5b02f76ea9d436894 (patch) | |
| tree | 5b99c71bb8b206736802089febc0cc99ed7a1a8a /src/base | |
| parent | d533f1821921a2bf813b71700029a529ed8edecc (diff) | |
| download | abc-ff0ec52d4d0f26b786d9c1f5b02f76ea9d436894.tar.gz abc-ff0ec52d4d0f26b786d9c1f5b02f76ea9d436894.tar.bz2 abc-ff0ec52d4d0f26b786d9c1f5b02f76ea9d436894.zip | |
Updating memory print-out of &vta and &gla.
Diffstat (limited to 'src/base')
| -rw-r--r-- | src/base/abci/abcDar.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/base/abci/abcDar.c b/src/base/abci/abcDar.c index 4fd80eef..75df783f 100644 --- a/src/base/abci/abcDar.c +++ b/src/base/abci/abcDar.c @@ -3203,7 +3203,7 @@ int Abc_NtkDarSeqSim3( Abc_Ntk_t * pNtk, int nFrames, int nWords, int nBinSize, { Aig_Man_t * pMan; int status, RetValue = -1; - clock_t clk = clock(); +// clock_t clk = clock(); if ( Abc_NtkGetChoiceNum(pNtk) ) { Abc_Print( 1, "Removing %d choices from the AIG.\n", Abc_NtkGetChoiceNum(pNtk) ); |