-----------------------------------------------------------------------------
-- |
-- Module : Test.StateMachine
-- Copyright : (C) 2017, ATS Advanced Telematic Systems GmbH
-- License : BSD-style (see the file LICENSE)
--
-- Maintainer : Stevan Andjelkovic <stevan.andjelkovic@here.com>
-- Stability : provisional
-- Portability : non-portable (GHC extensions)
--
-- The main module for state machine based testing, it contains
-- combinators that help you build sequential and parallel properties.
--
-----------------------------------------------------------------------------
module Test.StateMachine
( -- * Sequential property combinators
forAllCommands
, transitionMatrix
, runCommands
, prettyCommands
, checkCommandNames
, commandNames
, commandNamesInOrder
-- * Parallel property combinators
, forAllParallelCommands
, runParallelCommands
, runParallelCommandsNTimes
, prettyParallelCommands
-- * Types
, StateMachine(StateMachine)
, Concrete
, Symbolic
, Reference
, concrete
, reference
, Opaque(..)
, opaque
, Reason(..)
, GenSym
, genSym
, module Test.StateMachine.Logic
) where
import Prelude
()
import Test.StateMachine.Logic
import Test.StateMachine.Parallel
import Test.StateMachine.Sequential
import Test.StateMachine.Types