Just a single function that wraps Unix.gettimeofday since zeluc requires a zci file for any external functions being used.
Having a dedicated function for printing "wall clock" time is helpful for robot programs as it lets us match up Zelus code execution with other robot software components, and to ensure that Zelus is executing close to real time, as opposed to just using an ODE to define time (which may fall behind if the simulation slows down)
Just a single function that wraps Unix.gettimeofday since zeluc requires a zci file for any external functions being used. Having a dedicated function for printing "wall clock" time is helpful for robot programs as it lets us match up Zelus code execution with other robot software components, and to ensure that Zelus is executing close to real time, as opposed to just using an ODE to define time (which may fall behind if the simulation slows down)