dtmc-0.2.0.0: test/Dtmc/Analysis/ReturnTimeSpec.hs

module Dtmc.Analysis.ReturnTimeSpec (
    spec,
) where

import Dtmc.Analysis.TimeSpecSupport (
    returnTimeSpec,
 )
import Test.Hspec (
    Spec,
 )

spec :: Spec
spec = returnTimeSpec