This repository was archived by the owner on Aug 1, 2023. It is now read-only.
This repository was archived by the owner on Aug 1, 2023. It is now read-only.
E1.2 QuickCheck state machine tests #92
Closed
Description
- based on QC state machine https://github.com/advancedtelematic/quickcheck-state-machine