snappea 0.1.0

The P modeling language in Rust: emit events from your application and check them against P specs in tests, plus the `snappea` checker
Documentation 
1
2
3
4
5
6
7
8
9
10
11

//! The `snappea` binary: [`snappea::cli::run`] on the native file system and console.

use std::io::{self, Write};

fn main() {
    let args: Vec<String> = std::env::args().skip(1).collect();
    let mut host = snappea::cli::NativeHost::new();
    let code = snappea::cli::run(&args, &mut host);
    let _ = io::stdout().flush();
    std::process::exit(code);
}