mirror of
https://github.com/aljazceru/turso.git
synced 2025-12-17 08:34:19 +01:00
191b586f05
better counterexample minimization. - it separates interaction plans from their state of execution - it removes closures from the property definitions, encoding properties as an enum variant, and deriving the closures from the variants. - it adds some naive counterexample minimization capabilities to the Limbo simulator and reduces the plan sizes considerably. - it makes small changes to various points of the simulator for better error reporting, enhancing code readability, small fixes to handle previously missed cases
2 lines
14 B
Rust
2 lines
14 B
Rust
pub mod plan;
|