#![cfg_attr(coverage_nightly, coverage(off))]
use crate::models::debug_analysis::*;
use anyhow::Result;
#[provable_contracts_macros::contract("pmat-core.yaml", equation = "check_compliance")]
pub fn format_json(analysis: &DebugAnalysis) -> Result<String> {
let json = serde_json::to_string_pretty(analysis)?;
Ok(json)
}
include!("debug_formatters_text.rs");
include!("debug_formatters_markdown.rs");
#[cfg_attr(coverage_nightly, coverage(off))]
#[cfg(test)]
mod tests {
use super::*;
use std::path::PathBuf;
include!("debug_formatters_tests.rs");
}