dusk_cdf/zkdb/
state.rs

1/// State describind a mutation of the zk debugger
2#[derive(Debug, Clone, PartialEq, Eq, Hash)]
3pub enum State {
4    /// BOF of the CDF backend
5    ///
6    /// Id is constant `0`
7    Beginning,
8    /// Mutated the position to a different constraint
9    Constraint {
10        /// Id of the constraint
11        id: usize,
12    },
13    /// Hit a constraint that evaluated to false
14    InvalidConstraint {
15        /// Id of the constraint
16        id: usize,
17    },
18    /// Hit a breakpoint
19    Breakpoint {
20        /// Id of the breakpoint
21        id: usize,
22    },
23    /// EOF of the CDF backend
24    End {
25        /// Id of the breakpoint
26        id: usize,
27    },
28}