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
12
13
14

//! The `snappea` and `snappea-compat` command line tools.
//!
//! `snappea` ([`run`]) is snappea's own command line and `snappea-compat` upstream's `p`, option for
//! option. Both run the commands of [`crate::driver`]; `snappea` adds
//! what upstream lacks (parallel workers, time tracking) and options named for how snappea works.

mod command;
#[cfg(not(target_arch = "wasm32"))]
mod native;
mod observe;

pub use command::run;
#[cfg(not(target_arch = "wasm32"))]
pub use native::{run_threads, NativeHost};