Expand description
Rationale report generation.
This module is being updated for v0.4. Currently a stub.
Structs§
- Constraint
Summary - Obligation
Summary - Rationale
Entry - Rationale
Report - Top-level rationale output.
- Rejected
Alternative - System
Rationale - Rationale for a single system.
Functions§
- build_
report - Build a rationale report from parsed systems and verification results.
- write_
json - Write the rationale report to a JSON file.