Skip to main content

runmat_test/lifecycle/
qualification.rs

1use serde::{Deserialize, Serialize};
2
3#[derive(Clone, Copy, Debug, Eq, PartialEq, Serialize, Deserialize)]
4#[serde(rename_all = "snake_case")]
5pub enum QualificationKind {
6    VerificationFailed,
7    AssumptionFailed,
8    AssertionFailed,
9    FatalAssertionFailed,
10}
11
12impl QualificationKind {
13    pub fn aborts_test(self) -> bool {
14        !matches!(self, Self::VerificationFailed)
15    }
16
17    pub fn aborts_run(self) -> bool {
18        matches!(self, Self::FatalAssertionFailed)
19    }
20}