Expand description
Rust contract test harness generator.
Translates test blocks from IntentLang specs into a #[cfg(test)]
module with executable Rust tests. Entity parameters are passed as
&mut references so postconditions can be verified after mutation.
Functionsยง
- generate
- Generate a Rust
#[cfg(test)]module from spec test blocks.