LlvmFunctionContractReport
constructor(schemaId: String = "ai.exida.stig/llvm-function-contracts", schemaVersion: Int = 1, checkpoint: String = "P5_FINAL", moduleSha256: String, beforeFinalOptimizationSha256: String, analyzerEntrySymbols: List<String>, reachabilityScope: String, reachableFunctionCount: Int, harness: GeneratedHarnessLlvmContractResult?, rules: List<LlvmFunctionRuleCheck>, helpers: List<LlvmRequiredInlineHelperCheck>, violations: List<LlvmFunctionContractViolation>)