Hi,
On my 32-bit machine MRMC gives incorrect timings. This is due to
the fact that the clock type is converted to an unsigned long,
which is 32-bit on 32-bit systems. A patch follows, which also fixes
a typo.
By the way, the new ticket link at mrmc-tool.org/trac/wiki/Contact
doesn't work, because it wants me to log in and I can't seem to make
an account.
Cheers,
Bram Geron
CS student at Eindhoven University of Technology
--- a/src/io/parser/parser_to_core.c Mon Dec 19 17:13:47 2011
+0100
+++ b/src/io/parser/parser_to_core.c Mon Dec 19 17:28:30 2011
+0100
@@ -103,7 +103,7 @@
}
timer_started = FALSE;
- return ((unsigned long) (stop_time - start_time) * 1000
+ return ((clock_t) (stop_time - start_time) * 1000
+ CLOCKS_PER_SEC / 2) / CLOCKS_PER_SEC;
}
@@ -567,7 +567,7 @@
/* Clean the old results */
clearOldModelCheckingResults();
- /* Star the timer */
+ /* Start the timer */
startTimer();
/* In case of simulation engine on we have to traverse the
tree */