Skip to content
This repository was archived by the owner on Aug 1, 2023. It is now read-only.

[GH-96] T1.2.1 QuickCheck state machine tests, added example. #166

Merged
merged 2 commits into from
May 24, 2019
Merged

[GH-96] T1.2.1 QuickCheck state machine tests, added example. #166

merged 2 commits into from
May 24, 2019

Conversation

ksaric
Copy link
Contributor

@ksaric ksaric commented May 24, 2019

#96

Added simple example for quickcheck-state-machine.

@ksaric ksaric requested review from CodiePP and HirotoShioi May 24, 2019 10:18
@ksaric ksaric requested a review from erikd as a code owner May 24, 2019 10:18
CodiePP
CodiePP approved these changes May 24, 2019
View reviewed changes
Copy link
Contributor

@CodiePP CodiePP left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

👍

@CodiePP CodiePP merged commit 132f96c into develop May 24, 2019
@ksaric ksaric deleted the ksaric/GH-96 branch May 24, 2019 13:25
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Reviewers

@CodiePP CodiePP CodiePP approved these changes

@HirotoShioi HirotoShioi Awaiting requested review from HirotoShioi

@erikd erikd Awaiting requested review from erikd

Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
NOD001 Daedalus IPC complete
Development

Successfully merging this pull request may close these issues.
2 participants
@ksaric @CodiePP