stig-engine/com.stigway.engine.llvm/GeneratedHarnessLlvmContractResult/GeneratedHarnessLlvmContractResult

GeneratedHarnessLlvmContractResult

constructor(generatedLifecycleEntrySymbol: String?, configuredAnalyzerEntrySymbols: List<String>, expectedMarkerCount: Int, definedMarkerCount: Int, calledMarkerCount: Int, violations: List<String>, markerSymbols: List<String> = emptyList())
Generated with STIG