Module lrl_test_compiler::timeline

Re-exports

pub use self::sensors::SensorsTimeline;

Modules

relays
sensors

Structs

Timeline

Combined sensor and relay timeline Relay operations only use one endpoint Sensor constraints use interval between two endpoints

Functions

add_relay_sensor_statements_to_timeline
combine_relay_sensor_timelines	Combine relay and sensor timelines into one unified timeline consisting of concrete relay and sensor instructions ready to be emitted as binary segments
construct_test	Construct test containing instruction segments with relative times for outputting as a TBF
construct_timelines	Construct timelines for test body and aborts
segments_from_timeline	Convert test timeline into a vector of segments
validate_statement_ordering	Validate all statements throughout the test.tdf increase in time