Skip to main content

Module ci

logicaffeine_compile::codegen_sva

Module ci 

Source
Expand description

CI/CD Integration — SARIF Output for GitHub Security Tab

Generates SARIF 2.1.0 format reports from verification results. Compatible with GitHub Code Scanning, VS Code SARIF Viewer, etc.

Structs§

CiConfig
CI verification configuration.
CiReport
CI verification report with SARIF output.
PropertyResult
A single property verification result.

Functions§

exit_code
Compute exit code: 0 if all pass, 1 if any fail.
generate_github_actions_template
Generate a GitHub Actions workflow template for LogicAffeine verification.
run_ci_verification
Run CI verification on spec and RTL files.