openmina_node_invariants/
invariant_result.rs

1use serde::{Deserialize, Serialize};
2
3#[derive(Serialize, Deserialize, Debug, Clone)]
4pub enum InvariantResult {
5    Ignored(InvariantIgnoreReason),
6    /// Invariant check was triggered but as a result we didn't do any
7    /// checks, instead internal state of invariant might have been updated.
8    Updated,
9    /// Invariant has been violated!
10    Violation(String),
11    /// Invariant check was done and it passed.
12    Ok,
13}
14
15#[derive(Serialize, Deserialize, Debug, Clone)]
16pub enum InvariantIgnoreReason {
17    GlobalInvariantNotInTestingCluster,
18}