( dataDir = getPlannotatorDataDir(), platform: NodeJS.Platform = process.platform, )
| 156 | } |
| 157 | |
| 158 | export function getManagedSemBinaryPath( |
| 159 | dataDir = getPlannotatorDataDir(), |
| 160 | platform: NodeJS.Platform = process.platform, |
| 161 | ): string { |
| 162 | return join(dataDir, "vendor", "sem", PLANNOTATOR_SEM_VERSION, semBinaryName(platform)); |
| 163 | } |
| 164 | |
| 165 | export function getSemanticDiffScratchCwd(dataDir = getPlannotatorDataDir()): string { |
| 166 | const primary = join(dataDir, "semantic-diff", "patch-only"); |
no test coverage detected