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

GeneratedHarnessLlvmContractVerifier

class GeneratedHarnessLlvmContractVerifier(demangle: (Collection<String>) -> Map<String, String>)

Verifies the generated harness's structural contract against a final linked textual LLVM module.

Constructors

Link copied to clipboard
constructor(demangle: (Collection<String>) -> Map<String, String>)

Functions

Link copied to clipboard
Generated with STIG