interweave 0.1.1

Stateless model checker for concurrent programs, powered by Optimal DPOR.
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12

//! Shared process vocabulary: the process identifier and the output type every
//! process future yields.

use std::error::Error;

/// Index of a process in the executor's process table; doubles as its identity.
/// Exposed through [`Transition::pid`](crate::Transition::pid).
pub type ProcessID = usize;

/// Output of a process future: `Ok(())` on clean completion, or an error that the
/// model surfaces as a [`crate::ProcessError`].
pub type ProcessResult = Result<(), Box<dyn Error + Send + Sync>>;