export toStateMachine from Test.StateMachine.Lockstep.{NAry,Simple}

The immediate motivation for this is to get access to `forAllCommands`, to facilitate labeling of test cases. Signed-off-by: Douglas Wilson <douglas.wilson@gmail.com>
advancedtelematic · May 11, 2021 · 8d44754 · 8d44754
1 parent 3cbf466
commit 8d44754
Show file tree

Hide file tree

Showing 2 changed files with 7 additions and 0 deletions.
diff --git a/src/Test/StateMachine/Lockstep/NAry.hs b/src/Test/StateMachine/Lockstep/NAry.hs
@@ -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

diff --git a/src/Test/StateMachine/Lockstep/Simple.hs b/src/Test/StateMachine/Lockstep/Simple.hs
@@ -32,6 +32,8 @@ module Test.StateMachine.Lockstep.Simple (
   , prop_parallel
     -- * Translate to n-ary model model
   , fromSimple
+    -- * Translate to state machine model
+  , toStateMachine
   ) where
 
 import           Data.Bifunctor
@@ -223,6 +225,9 @@ fromSimple StateMachineTest{..} = NAry.StateMachineTest {
     , cleanup    = cleanup   . modelToSimple
     }
 
+toStateMachine :: StateMachineTest t
+               -> StateMachine (Model t) (At (Cmd t)) (RealMonad t) (At (Resp t))
+toStateMachine  = NAry.toStateMachine . fromSimple
 {-------------------------------------------------------------------------------
   Running the tests
 -------------------------------------------------------------------------------}