This project is read-only.

"Real" verification time and human readable time

Sep 22, 2010 at 9:12 AM
Edited Sep 22, 2010 at 9:13 AM

Hi all,

i had a few times the following experience: after letting run vcc and putting my pc in sleep mode (during vcc is running).

After waking up my pc vcc continues to run. Then Vcc reports its verification time (either due to successful verification or due to failed try).

The reported verification time completely depends on system time, i.e. it is not real verification time as vcc does not run during pc is in sleep mode.

I would rather expect that vcc should have its own notion of time.


Another issue is that the reported verification time should be human readable.(I mean instead of reporting the number of seconds)

It would be better to give the overall verification time in (hours, mins, seconds) and in seconds as it does right now.