scram::core::RiskAnalysis::RuntimeMetrics
Captures high-level runtime diagnostics for the overall analysis pass.
#include <risk_analysis.h>
Public Attributes
| Name | |
|---|---|
| double | analysis_seconds <br>Wall-clock seconds spent in Analyze(). |
| std::optional< double > | total_runtime_seconds <br>Optional end-to-end runtime. |
| std::optional< double > | post_analysis_rss_mib <br>Resident set size after Analyze(). |
| std::optional< double > | post_analysis_peak_rss_mib <br>Peak RSS after Analyze(). |
| std::optional< double > | post_run_rss_mib <br>Resident set size at CLI completion. |
| std::optional< double > | post_run_peak_rss_mib <br>Peak RSS at CLI completion. |
Public Attributes Documentation
variable analysis_seconds
cpp
double analysis_seconds = 0.0;Wall-clock seconds spent in Analyze().
variable total_runtime_seconds
cpp
std::optional< double > total_runtime_seconds;Optional end-to-end runtime.
variable post_analysis_rss_mib
cpp
std::optional< double > post_analysis_rss_mib;Resident set size after Analyze().
variable post_analysis_peak_rss_mib
cpp
std::optional< double > post_analysis_peak_rss_mib;Peak RSS after Analyze().
variable post_run_rss_mib
cpp
std::optional< double > post_run_rss_mib;Resident set size at CLI completion.
variable post_run_peak_rss_mib
cpp
std::optional< double > post_run_peak_rss_mib;Peak RSS at CLI completion.
Updated on 2026-01-09 at 21:59:12 +0000
