(raw: string, varName: string)
| 39 | } |
| 40 | |
| 41 | function parsePositiveInt(raw: string, varName: string): number { |
| 42 | if (!/^\d+$/.test(raw) || Number(raw) <= 0) { |
| 43 | fail(`${varName} must be a positive integer, got "${raw}".`); |
| 44 | } |
| 45 | return Number(raw); |
| 46 | } |
| 47 | |
| 48 | function parseProviderType(raw: string | undefined): ProviderType { |
| 49 | if (raw === undefined) return 'kimi'; |
no test coverage detected