time - Provides a simple CPU elapsed time value


time [-h]

Prints the processor time used since the last invocation of the "time" command, and the total processor time used since NuSMV was started.


Last updated on 2010/11/03 21h:54