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

Modify `generation/property.rs` to use the Builder
- add additional metadata to `Interaction` to give more context for
  shrinking and iterating over interactions that originated from the
  same interaction.
- add Iterator like utilities for `InteractionPlan` to facilitate
  iterating over interactions that came from the same property:

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

..

interactions.rs

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

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