Skip to main content

Module roundtrip

workshop_rs

Module roundtrip 

Source
Expand description

Compatibility path for complete-program round-trip comparison.

Structs§

RoundTripRecord
A recorded round-trip result for regression and contract checks.

Functions§

equivalent
Structural equivalence of two WIR programs: identical settings, tables, rules, actions, and values, ignoring source spans and file paths.
round_trip
Run Workshop -> WIR -> Workshop -> WIR and record the check. The record is always produced; failures are captured in its error field. Ambiguous bare enum members stay rejected (no signature context).
round_trip_with_context
The context-sensitive form of round_trip (#111): reparsing the emitted text uses the supplied canonical signature context so an ambiguous bare enum member that the emitter produced (e.g. Chase Global Variable Over Time(..., None)) resolves to the domain the signature pins.