* Print timestamp in form HH:MM:SS. * * @param timestamp Timestamp to print in raw seconds. */
| 69 | * @param timestamp Timestamp to print in raw seconds. |
| 70 | */ |
| 71 | void print_timestamp(int64_t timestamp) { |
| 72 | int64_t hr = timestamp / 3600; |
| 73 | int64_t min = (timestamp - (hr * 3600)) / 60; |
| 74 | int64_t sec = timestamp - hr * 3600 - min * 60; |
| 75 | printf("%ld:%ld:%ld", (long)hr, (long)min, (long)sec); |
| 76 | } |
| 77 | |
| 78 | /** |
| 79 | * Create a TileDB array with dimension labels. |
no outgoing calls
no test coverage detected