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

module Dtmc.Analysis.HittingTimeSpec (
    spec,
) where

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

spec :: Spec
spec = hittingTimeSpec