macroonz-harness 0.1.0

Safe-Rust property, fuzz, fault, schedule, mutation, network, and benchmark testing with typed evidence, reduction, and replay.
Documentation 
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
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81

//! Constructors and readers for the preemption vocabulary.

use super::{
    PreemptionBound, PreemptionBounds, PreemptionBoundsRefusal, PreemptionModelFailure,
    PreemptionOutcome, PreemptionReading,
};
use crate::report::ForeignText;

impl PreemptionBounds {
    /// The budget its author declared: the preemption seat, and the branch budget one execution may take.
    ///
    /// # Errors
    ///
    /// Refuses a branch budget of zero, because no execution could take a single step under it.
    pub const fn declared(
        preemptions: PreemptionBound,
        branches: u32,
    ) -> Result<Self, PreemptionBoundsRefusal> {
        if branches == 0u32 {
            return Err(PreemptionBoundsRefusal::ZeroBranches);
        }
        Ok(Self {
            preemptions,
            branches,
        })
    }

    /// How many preemptions one execution may spend.
    #[must_use]
    pub const fn preemptions(self) -> PreemptionBound {
        self.preemptions
    }

    /// How many branches one execution may take.
    #[must_use]
    pub const fn branches(self) -> u32 {
        self.branches
    }
}

impl PreemptionModelFailure {
    /// Refuse one scheduled execution with no foreign report.
    #[must_use]
    pub const fn unreported() -> Self {
        Self { report: None }
    }

    /// Refuse one scheduled execution with bounded report material.
    #[must_use]
    pub fn reported(material: &[u8]) -> Self {
        Self {
            report: Some(ForeignText::admitted(material)),
        }
    }

    /// The bounded report the model supplied, where it supplied one.
    #[must_use]
    pub const fn report(&self) -> Option<&ForeignText> {
        self.report.as_ref()
    }
}

impl PreemptionReading {
    /// One exploration's product, minted only by the explore road.
    #[must_use]
    pub(crate) const fn read(bounds: PreemptionBounds, outcome: PreemptionOutcome) -> Self {
        Self { bounds, outcome }
    }

    /// The bounds the exploration was asked to run under.
    #[must_use]
    pub const fn bounds(&self) -> PreemptionBounds {
        self.bounds
    }

    /// The strongest outcome the backend established.
    #[must_use]
    pub const fn outcome(&self) -> &PreemptionOutcome {
        &self.outcome
    }
}