litex/verify/
verify_state.rs

1pub struct VerifyState {
2    pub round: u8,
3    pub well_defined_already_verified: bool,
4}
5
6impl VerifyState {
7    pub fn new(round: u8, well_defined_already_verified: bool) -> Self {
8        VerifyState {
9            round,
10            well_defined_already_verified,
11        }
12    }
13
14    pub fn is_final_round(&self) -> bool {
15        self.round >= 2
16    }
17
18    pub fn new_state_with_round_increased(&self) -> Self {
19        return Self::new(self.round + 1, self.well_defined_already_verified);
20    }
21
22    pub fn make_state_with_req_ok_set_to_true(&self) -> Self {
23        return Self::new(self.round, true);
24    }
25
26    pub fn is_round_0(&self) -> bool {
27        self.round == 0
28    }
29
30    pub fn make_final_round_state(&self) -> Self {
31        return Self::new(2, self.well_defined_already_verified);
32    }
33
34    pub fn new_with_final_round(well_defined_already_verified: bool) -> Self {
35        return Self::new(2, well_defined_already_verified);
36    }
37}
litex/verify/verify_state.rs

litex/verify/
verify_state.rs
