trueno_ptx_debug/output/
mod.rs

1//! Output Generation
2//!
3//! Generates reports and test files from analysis results.
4
5mod fkr_generator;
6mod html_report;
7
8pub use fkr_generator::generate_fkr_tests;
9pub use html_report::generate_html_report;
10
11use crate::bugs::BugRegistry;
12use crate::falsification::FalsificationReport;
13
14/// Analysis result combining all analyses
15#[derive(Debug)]
16pub struct AnalysisResult {
17    /// Module name
18    pub module_name: String,
19    /// Falsification score (0-100)
20    pub falsification_score: f64,
21    /// Confidence (0-1)
22    pub confidence: f64,
23    /// Falsification report
24    pub falsification_report: FalsificationReport,
25    /// Detected bugs
26    pub bugs: BugRegistry,
27}
28
29impl AnalysisResult {
30    /// Create from analysis components
31    pub fn new(
32        module_name: &str,
33        falsification_report: FalsificationReport,
34        bugs: BugRegistry,
35    ) -> Self {
36        Self {
37            module_name: module_name.to_string(),
38            falsification_score: falsification_report.score,
39            confidence: falsification_report.confidence,
40            falsification_report,
41            bugs,
42        }
43    }
44}
trueno_ptx_debug/output/mod.rs

trueno_ptx_debug/output/
mod.rs
