LeCroy Corporation
Verification Script Engine Reference Manual
Page 61 of 107
10.3 KillTimer()
Stops a timing calculation for a specific timer and frees related resources.
Format:
KillTimer(timer_id = 0)
Parameters:
timer_id
Unique
timer
identifier.
Example:
KillTimer(); # Stop timing for timer with id = 0.
KillTimer(23); # Stop timing for timer with id = 23.