MCPcopy Create free account
hub / github.com/aws/clock-bound / generator_initialization

Function generator_initialization

clock-bound-ff-tester/src/simulation/vmclock.rs:225–229  ·  view source on GitHub ↗
(dut_generator: Generator)

Source from the content-addressed store, hash-verified

223
224 #[rstest]
225 fn generator_initialization(dut_generator: Generator) {
226 assert_eq!(dut_generator.id, "test");
227 assert_eq!(dut_generator.next_poll, EstimateDuration::from_secs(50));
228 assert!(dut_generator.next_event.is_some());
229 }
230
231 #[rstest]
232 fn next_event_ready(dut_generator: Generator, constant_skew: FullModel) {

Callers

nothing calls this directly

Calls

no outgoing calls

Tested by

no test coverage detected