Module vmtime_unit

vmm_core

Module vmtime_unit 

Source
Expand description

StateUnit support for VmTimeKeeper.

Functionsยง

run_vmtime
Runs the VM time keeper, responding to state changes from recv, until recv is closed.