limbo/simulator/shrink
2025-06-29 15:54:27 -03:00
..
mod.rs this commit restructures the interaction generation in order to have 2025-01-11 02:20:22 +03:00
plan.rs add FaultyQuery Property to inject fault in a query and then assert that it did not modify the database 2025-06-29 15:54:27 -03:00