traceforge 0.2.1

TraceForge is a model checker for concurrent and distributed programs written in Rust
Documentation 
1
2
3
4
5

pub(crate) mod execution;
pub(crate) mod failure;
//UNFINISHED pub(crate) mod storage;
pub(crate) mod task;
pub(crate) mod thread;