hydo-assert
Assertion SDK for programs tested under hydo, a deterministic hypervisor: always, sometimes, reachable, unreachable and eventually properties, BUGGIFY fault points and operation histories
- Latest version0.2.0
- Total downloads0
- Downloads (90 days)0