Time taken to verify.

Apr 19, 2011 at 7:41 PM

In many papers which I have read contains in the end, the time taken by the VCC to verify the code. How can we calculate the exact time taken by the VCC to verify some code, and some other similar details?

Coordinator
Apr 19, 2011 at 8:07 PM

Hi,

  with the switch "/st", vcc will report verification times (also documented in "vcc /?").

  Best, Mark