frame_suite::assets::lazy_balance_model_checker

Function balance_states_csv_reports

Source 
fn balance_states_csv_reports<T: LazyBalanceMarker, M: ManualBalanceModel<T>>(
    dir: PathBuf,
    results: &BalanceModelResults<T, M>,
    write_pass: bool,
    write_exit: bool,
    write_trap: bool,
)
Expand description

Writes model exploration results to CSV files.

Creates a directory (if not present) and writes categorized outputs:

  • fail (always written) sequences that resulted in errors
  • pass (optional) successful sequences
  • trap (optional) sequences matching expected trap failures
  • exit (optional) sequences with drift between models

File names are timestamped to avoid overwrites.

Each CSV contains:

  • a unique ID (sl_no)
  • relevant fields (reason, values, sequence)

If all result categories are empty, no files are written.

Also prints a summary of counts:

  • trap mode includes trapped count
  • normal mode includes fail / pass / exit counts