Go backward to assert: Asserting Global Conditions Go up to 5.5 Execution Control Go forward to sleep: Letting Time Pass

getTime: Determining the Node Time

i = getTime()
  int i

This function returns the local time of the current node. Time is guaranteed to advance by each invocation of send, receive, and sleep.