pedrocarlo b624e449bc simulator: reopen database with mvcc when necessary

2025-10-01 11:38:11 -03:00

..

mod.rs

remove PanicGenerationContext and instead just pass the connection context directly

2025-09-21 14:16:46 -03:00

plan.rs

simulator: reopen database with mvcc when necessary

2025-10-01 11:38:11 -03:00

property.rs

do not count BEGIN, COMMIT, and ROLLBACK queries as interactions in the InteractionPlan, so we can generate more meaningful intereactions without hitting the max cap quickly

2025-09-27 23:52:57 -03:00

query.rs

adjust remaining calculation to use the profile

2025-08-30 11:31:52 -03:00