diff options
Diffstat (limited to 'src/opt/sim/sim.h')
| -rw-r--r-- | src/opt/sim/sim.h | 24 |
1 files changed, 12 insertions, 12 deletions
diff --git a/src/opt/sim/sim.h b/src/opt/sim/sim.h index 93553a84..bb26dc1a 100644 --- a/src/opt/sim/sim.h +++ b/src/opt/sim/sim.h @@ -88,13 +88,13 @@ struct Sym_Man_t_ int nPairsRem; int nPairsTotal; // runtime statistics - clock_t timeStruct; - clock_t timeCount; - clock_t timeMatr; - clock_t timeSim; - clock_t timeFraig; - clock_t timeSat; - clock_t timeTotal; + abctime timeStruct; + abctime timeCount; + abctime timeMatr; + abctime timeSim; + abctime timeFraig; + abctime timeSat; + abctime timeTotal; }; typedef struct Sim_Man_t_ Sim_Man_t; @@ -126,11 +126,11 @@ struct Sim_Man_t_ int nSatRunsSat; int nSatRunsUnsat; // runtime statistics - clock_t timeSim; - clock_t timeTrav; - clock_t timeFraig; - clock_t timeSat; - clock_t timeTotal; + abctime timeSim; + abctime timeTrav; + abctime timeFraig; + abctime timeSat; + abctime timeTotal; }; typedef struct Sim_Pat_t_ Sim_Pat_t; |