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
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34

//! Systematic testing of P programs.
//!
//! The checker interprets a [`crate::sema::Program`] directly (no code generation)
//! under a controlled, deterministic scheduler, reproducing the behaviour of
//! the upstream P checker (`PChecker`) closely enough that the same bugs are
//! found and the same trace lines are produced.
//!
//! No threads or process APIs, and no file access outside
//! [`observe_inputs::StdFiles`], so it compiles to `wasm32`.

pub mod bytecode;
pub mod compile;
pub mod coverage;
pub mod engine;
pub mod exhaustive;
pub mod feedback;
pub mod foreign;
pub mod interp;
pub mod javafmt;
pub mod jsonlog;
pub mod observe;
pub mod observe_coverage;
pub mod observe_inputs;
pub mod observe_json;
pub mod observe_report;
pub mod random;
pub mod rl;
pub mod runtime;
pub mod statehash;
pub mod strategy;
pub mod time;
pub mod timeline;
pub mod value;
pub mod xmllog;