quint-connect 0.1.0

A model-based testing framework that connects Quint specifications with Rust applications
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

mod util;

pub(crate) use colored::Colorize;
pub(crate) use util::*;

pub(crate) const VERBOSITY: Option<&str> = option_env!("QUINT_VERBOSE");

macro_rules! title {
    ($fmt:literal $(, $args:expr)*) => {
        eprint!("{}", "== ".bold());
        eprintln!("{}", format!($fmt $(,$args)*).bold());
    };
}

macro_rules! info {
    ($fmt:literal $(, $args:expr)*) => {
        eprintln!("{}", crate::logger::indent!(3, $fmt $(,$args)*));
    };
}

macro_rules! success {
    ($fmt:literal $(, $args:expr)*) => {
        eprintln!("{}", crate::logger::indent!(3, $fmt $(,$args)*).bold().green());
    };
}

macro_rules! error {
    ($fmt:literal $(, $args:expr)*) => {
        eprintln!("{}", crate::logger::indent!(3, $fmt $(,$args)*).bold().red());
    };
}

macro_rules! trace {
    ($level:literal, $fmt:literal $(, $args:expr)*) => {
        if VERBOSITY.unwrap_or("0") >= stringify!($level) {
            eprintln!("{}", crate::logger::indent!(3, $fmt $(,$args)*).dimmed().bright_white());
        }
    };
}

pub(crate) use error;
pub(crate) use info;
pub(crate) use success;
pub(crate) use title;
pub(crate) use trace;