(device.times) return empty list

#1

Hi,
i created a transfer function to record data into CSV files as per the documentation, and i used the loop that is mentioned in the documentation in HoLLie arm manipulation demo experiment, but the values of device.times always returned as [] , is there any data structure or modification required to record the output to csv file?