Modules§

  • Utilities used for setting up expectation predicates on the HCI emulator state transitions.

Structs§

  • Used to maintain the state transitions that are observed from the emulator. This type can be used in test harness auxiliary types.

Functions§