| 670 | } |
| 671 | |
| 672 | PathId PlatformFileSystem::getCheckerDir(bool isUnitCompilation, |
| 673 | SymbolTable *symbolTable) { |
| 674 | std::filesystem::path checkerDir = m_outputDir; |
| 675 | checkerDir /= isUnitCompilation ? kUnitCompileDirName : kAllCompileDirName; |
| 676 | checkerDir /= kCheckerDirName; |
| 677 | PathId checkerDirId = toPathId(checkerDir.string(), symbolTable); |
| 678 | if (kEnableLogs) { |
| 679 | std::cerr << "getCheckerDir: " << PathIdPP(checkerDirId) << std::endl; |
| 680 | } |
| 681 | return checkerDirId; |
| 682 | } |
| 683 | |
| 684 | PathId PlatformFileSystem::getCheckerFile(PathId uhdmFileId, |
| 685 | SymbolTable *symbolTable) { |