Go up to 5.5 Execution Control Go forward to getTime : Determining the Node Time |
assert
: Asserting Global Conditionsassert(a) GlobalAssertion a
This function checks whether the global assertion a holds for all nodes of the network. If the assertion fails, execution of the network is terminated with an error message; otherwise execution is continued.