limbo/simulator/shrink/mod.rs at main - mirrors/limbo - Forgejo: Beyond coding. We Forge.

mirrors/limbo

mirror of https://github.com/tursodatabase/limbo.git synced 2025-07-07 20:45:01 +00:00

alpaylan 191b586f05 this commit restructures the interaction generation in order to have

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

2025-01-11 02:20:22 +03:00

1 line

14 B

Rust

Raw Permalink Blame History

pub mod plan;