This website requires JavaScript.
Explore
Help
Sign In
aljaz
/
turso
Watch
1
Star
0
Fork
0
You've already forked turso
mirror of
https://github.com/aljazceru/turso.git
synced
2026-01-09 03:04:20 +01:00
Code
Issues
Packages
Projects
Releases
Wiki
Activity
Files
6bad5d04ce323b79290529b45c77ba99347288aa
turso
/
simulator
/
generation
History
pedrocarlo
6bad5d04ce
generate extensional queries when iterating over the next interaction, not when generating the property. This is necessary as the extensional queries can modify schema and thus could cause the next queries to fail because the DB enviroment context was not updated on generation time. Rule of thumb: queries should never be generated in bulk, always one a a time so the enviroment can be shadowed accordingly
2025-10-07 13:19:53 -03:00
..
mod.rs
adjust Rng generic to include ?Sized + introduce WeightedDistribution trait
2025-10-07 02:36:13 -03:00
plan.rs
generate extensional queries when iterating over the next interaction, not when generating the property. This is necessary as the extensional queries can modify schema and thus could cause the next queries to fail because the DB enviroment context was not updated on generation time. Rule of thumb: queries should never be generated in bulk, always one a a time so the enviroment can be shadowed accordingly
2025-10-07 13:19:53 -03:00
property.rs
generate extensional queries when iterating over the next interaction, not when generating the property. This is necessary as the extensional queries can modify schema and thus could cause the next queries to fail because the DB enviroment context was not updated on generation time. Rule of thumb: queries should never be generated in bulk, always one a a time so the enviroment can be shadowed accordingly
2025-10-07 13:19:53 -03:00
query.rs
add Query::Placeholder
2025-10-07 11:38:47 -03:00