()
| 680 | } |
| 681 | |
| 682 | public createDateTimestamp(): string { |
| 683 | const hrUs = this.createPaddedMs(6); |
| 684 | const date = new Date(); |
| 685 | const ret = `[${date.toISOString()}, +${hrUs}ms]`; |
| 686 | return ret; |
| 687 | } |
| 688 | |
| 689 | private toStringWithRes(res: number) { |
| 690 | const diff = process.hrtime.bigint() - this.start + BigInt((10 ** res) / 2); |
no test coverage detected