1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31

mod rewriter_stats;
mod solver_stats;

pub use rewriter_stats::RewriterStats;
use schemars::JsonSchema;
use serde::Serialize;
use serde_with::skip_serializing_none;
pub use solver_stats::SolverStats;

#[allow(dead_code)]
#[skip_serializing_none]
#[derive(Default, Serialize, Clone, JsonSchema)]
#[serde(rename_all = "camelCase")]
pub struct Stats {
    pub solver_runs: Vec<SolverStats>,
    pub rewriter_runs: Vec<RewriterStats>,
}

impl Stats {
    pub fn new() -> Stats {
        Default::default()
    }

    pub fn add_solver_run(&mut self, solver_stats: SolverStats) {
        self.solver_runs.push(solver_stats);
    }

    pub fn add_rewriter_run(&mut self, rewriter_stats: RewriterStats) {
        self.rewriter_runs.push(rewriter_stats);
    }
}