quint-connect 0.1.0

A model-based testing framework that connects Quint specifications with Rust applications
Documentation 
1
2
3
4
5

pub(crate) mod generator;
pub(crate) mod iter;

/// Type alias for ITF traces used internally.
pub(crate) type Trace = itf::Trace<itf::Value>;