7 Commits

Author	SHA1	Message	Date
pedrocarlo	f09b73c768	remove Span, as interaction ID is enough to determine membership of a property	2025-11-17 11:45:02 -03:00
pedrocarlo	2aab33b714	find_interactions_range only check for interaction id to determine membership	2025-11-17 11:45:02 -03:00
pedrocarlo	af31e74d9f	add depending tables to assertions to delete them if needed in shrinking	2025-11-17 11:45:02 -03:00
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
pedrocarlo	2fe39d40bb	add Span and PropertyMetadata structs	2025-11-17 11:45:02 -03:00
pedrocarlo	a4f0f2364d	disable Watch Mode until we can properly serialize interaction plan	2025-11-17 11:45:02 -03:00
pedrocarlo	8f50154db2	separate struct defining code from struct generation code. Also move Remaining to a metrics file	2025-11-17 11:44:20 -03:00