quint-connect 0.1.0

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

pub mod system;

#[cfg(test)]
mod mbt;

fn main() {}