(res: number)
| 687 | } |
| 688 | |
| 689 | private toStringWithRes(res: number) { |
| 690 | const diff = process.hrtime.bigint() - this.start + BigInt((10 ** res) / 2); |
| 691 | let ret = diff.toString(); |
| 692 | ret = ret.length <= res ? '0' : ret.substr(0, ret.length - res); |
| 693 | return ret; |
| 694 | } |
| 695 | } |
| 696 | |
| 697 | // This is not very precise. It is for seeing if the string has any special characters |