Skip to content
This repository has been archived by the owner on Jun 18, 2021. It is now read-only.

export toStateMachine from Test.StateMachine.Lockstep.NAry #372

Merged
merged 1 commit into from
May 11, 2021
Merged

export toStateMachine from Test.StateMachine.Lockstep.NAry #372

Changes from all commits
Commits
Show all changes
1 commit
Select commit
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Jump to
Jump to file
Failed to load files.
Diff view
Diff view
2 changes: 2 additions & 0 deletions src/Test/StateMachine/Lockstep/NAry.hs
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -39,6 +39,8 @@ module Test.StateMachine.Lockstep.NAry (
-- * Running the tests
, prop_sequential
, prop_parallel
-- * Translate to state machine model
, toStateMachine
) where

import Data.Functor.Classes
Expand Down