traceforge 0.2.1

TraceForge is a model checker for concurrent and distributed programs written in Rust
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

use log::LevelFilter;
use simplelog::{CombinedLogger, SimpleLogger};
use std::any::Any;
use std::sync::Once;

static INIT_LOG: Once = Once::new();

#[allow(dead_code)] // Only used in tests
pub fn init_log() {
    INIT_LOG.call_once(|| {
        CombinedLogger::init(vec![SimpleLogger::new(
            LevelFilter::Trace,
            simplelog::Config::default(),
        )])
        .unwrap()
    });
}

#[allow(dead_code)] // Only used in tests
pub fn assert_panic_msg(result: Result<(), Box<dyn Any + Send>>, expected_msg: &str) {
    match result {
        Ok(_) => {
            panic!("The function was expected to panic, but it did not.");
        }
        Err(msg) => {
            if let Some(s) = msg.downcast_ref::<String>() {
                assert_eq!(s, expected_msg);
            } else if let Some(&s) = msg.downcast_ref::<&str>() {
                assert_eq!(s, expected_msg);
            } else {
                // See https://users.rust-lang.org/t/return-value-from-catch-unwind-is-a-useless-any/89134/4
                panic!("The panic did not return a string; can't display it.");
            }
        }
    }
}

#[allow(dead_code)] // Only used in tests
pub fn assert_panic_contains(result: Result<(), Box<dyn Any + Send>>, expected_msg: &str) {
    match result {
        Ok(_) => {
            panic!("The function was expected to panic, but it did not.");
        }
        Err(msg) => {
            if let Some(s) = msg.downcast_ref::<String>() {
                assert!(
                    s.contains(expected_msg),
                    "Expected `{}` in `{}`",
                    expected_msg,
                    s
                );
            } else if let Some(&s) = msg.downcast_ref::<&str>() {
                assert!(
                    s.contains(expected_msg),
                    "Expected `{}` in `{}`",
                    expected_msg,
                    s
                );
            } else {
                // See https://users.rust-lang.org/t/return-value-from-catch-unwind-is-a-useless-any/89134/4
                panic!("The panic did not return a string; can't display it.");
            }
        }
    }
}