time - provide a simple elapsed time value


time [-h]

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


Last updated on 990908 16h51