diff options
author | Alan Mishchenko <alanmi@berkeley.edu> | 2012-07-07 09:16:41 -0700 |
---|---|---|
committer | Alan Mishchenko <alanmi@berkeley.edu> | 2012-07-07 09:16:41 -0700 |
commit | e4842315989568f685cae60d3147ef38219c6171 (patch) | |
tree | 77626f94f1c92daf8d21238f7b78b471ccf80175 /src/proof/pdr/pdrTsim.c | |
parent | 70331b585b9d23b58429e59e99e7239caaaff795 (diff) | |
download | abc-e4842315989568f685cae60d3147ef38219c6171.tar.gz abc-e4842315989568f685cae60d3147ef38219c6171.tar.bz2 abc-e4842315989568f685cae60d3147ef38219c6171.zip |
Fixing time printouts in 'pdr'.
Diffstat (limited to 'src/proof/pdr/pdrTsim.c')
-rw-r--r-- | src/proof/pdr/pdrTsim.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/proof/pdr/pdrTsim.c b/src/proof/pdr/pdrTsim.c index cf4756d1..59127461 100644 --- a/src/proof/pdr/pdrTsim.c +++ b/src/proof/pdr/pdrTsim.c @@ -363,7 +363,7 @@ Pdr_Set_t * Pdr_ManTernarySim( Pdr_Man_t * p, int k, Pdr_Set_t * pCube ) Vec_Int_t * vRes = p->vRes; // final result (flop literals) Aig_Obj_t * pObj; int i, Entry, RetValue; - int clk = clock(); + clock_t clk = clock(); // collect CO objects Vec_IntClear( vCoObjs ); |