pedrocarlo af31e74d9f add depending tables to assertions to delete them if needed in shrinking

2025-11-17 11:45:02 -03:00

..

interactions.rs

add depending tables to assertions to delete them if needed in shrinking

2025-11-17 11:45:02 -03:00

metrics.rs

move interaction stats to metrics

2025-11-17 11:45:02 -03:00

mod.rs

separate struct defining code from struct generation code. Also move Remaining to a metrics file

2025-11-17 11:44:20 -03:00

property.rs

- add Interaction Builder to simplify code for building an interaction.

2025-11-17 11:45:02 -03:00