tacet 0.4.2

Detect timing side channels in cryptographic code
Documentation 
1
2
3
4
5
6
7
8
9
10
11

//! Output formatting for timing analysis results.
//!
//! This module provides formatters for displaying `Outcome` in different formats:
//! - Terminal: Human-readable output with colors and box drawing
//! - JSON: Machine-readable serialization

mod json;
mod terminal;

pub use json::{to_json, to_json_pretty};
pub use terminal::{format_debug_summary, format_diagnostics_section, format_outcome, is_verbose};