SymbolVerifierInputs
constructor(projectPath: String, mode: SymbolVerificationMode, moduleLlFile: File, moduleBcFile: File?, requiredSymbolsFile: File?, provenanceBcDir: File?, provenanceCompileCommandsFile: File?, unresolvedApplicationSymbolsOutFile: File, allowedExternalSymbolsOutFile: File, prototypeStrippedModuleFile: File, optBinary: String, nmBinary: String, cxxfiltBinary: String, ignorePatterns: List<String> = emptyList(), failAt: ProblemSeverity?)