limbo/simulator/shrink
2025-10-07 13:23:35 -03:00
..
mod.rs this commit restructures the interaction generation in order to have 2025-01-11 02:20:22 +03:00
plan.rs Property::FaultyQuery and FsyncNoWait stored a list of tables to check the on the database. Again, the FaultyQuery could be a Drop Table which meant that we could be running a SELECT on an inexistent table. To solve this, just insert a Property that check all the tables in the db after a Faulty Property 2025-10-07 13:23:35 -03:00