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

..

generation

make clippy happy

2025-10-07 18:27:02 +05:30

model

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

Cargo.toml

move as many dependencies as possible to workspace to avoid multiple versions of the same dependency

2025-09-15 17:19:36 -03:00

lib.rs

copy generation code from simulator

2025-08-25 22:59:31 -03:00