faine 0.2.1

Failpoints implementation with automatic path exploration
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

// SPDX-FileCopyrightText: Copyright 2025 Dmitry Marakasov <amdmi3@amdmi3.ru>
// SPDX-License-Identifier: Apache-2.0 OR MIT

/// Path chosen when execution passes through a failpoint
#[derive(Eq, PartialEq, Hash, Clone, Copy, Debug)]
pub enum Branch {
    /// Failpoint is skipped lile it never existed
    Skip,

    /// Failpoint is activated, and whatever a given failpoint
    /// was supposed to do happens instead of normal code flow
    Activate,
}

/// Label used when describing code execution path
#[derive(Clone, Copy, PartialEq, Eq, Hash)]
pub enum Label {
    /// Code execution passes through a named failpont
    Failpoint(&'static str),

    /// Code execution has finished
    Finished,
    // TODO: Panic,
}