Add watchdog for watchdogs

src/Hedgehog/Extras/Test/File.hs

@@ -48,6 +48,7 @@ module Hedgehog.Extras.Test.File
 
   , appendFileTimeDelta
   , assertDirectoryMissing
+  , assertDirectoryExists
   ) where
 
 import           Control.Applicative (Applicative (..))

src/Hedgehog/Extras/Test/TestWatchdog.hs

@@ -146,9 +146,9 @@ runWithWatchdog config testCase = do
 -- | Execute a test case with a watchdog.
 runWithWatchdog_ :: HasCallStack
                  => MonadBaseControl IO m
-                => WatchdogConfig -- ^ configuration
-                -> (HasCallStack => m a) -- ^ a test case to be wrapped in watchdog
-                -> m a
+                 => WatchdogConfig -- ^ configuration
+                 -> (HasCallStack => m a) -- ^ a test case to be wrapped in watchdog
+                 -> m a
 runWithWatchdog_ config testCase = runWithWatchdog config (const testCase)
 
 -- | Execute a test case with watchdog with default config.

test/Hedgehog/Extras/Test/TestWatchdogSpec.hs

@@ -24,7 +24,7 @@ import qualified System.Process as P
 
 -- | Check that watchdog kills test case which waits without an end
 hprop_check_watchdog_kills_hanged_thread :: Property
-hprop_check_watchdog_kills_hanged_thread = H.propertyOnce $ do
+hprop_check_watchdog_kills_hanged_thread = H.propertyOnce $ runWithWatchdog_ (WatchdogConfig 5) $ do
   let watchdogCfg = WatchdogConfig 1
   childTid <- H.newEmptyMVar
   tripwire <- H.makeTripwire
@@ -46,7 +46,7 @@ hprop_check_watchdog_kills_hanged_thread = H.propertyOnce $ do
 --  - a process waiting forever
 --  - a child threads waiting
 hprop_check_watchdog_kills_hanged_thread_with_its_children :: Property
-hprop_check_watchdog_kills_hanged_thread_with_its_children = H.propertyOnce $ do
+hprop_check_watchdog_kills_hanged_thread_with_its_children = H.propertyOnce $ runWithWatchdog_ (WatchdogConfig 5) $ do
   let watchdogCfg = WatchdogConfig 1
   childTid <- H.newEmptyMVar
   grandChildTid1 <- H.newEmptyMVar

test/hedgehog-extras-test.hs

@@ -1 +1,2 @@
-{-# OPTIONS_GHC -F -pgmF tasty-discover -optF --hide-successes #-}
+{-# OPTIONS_GHC -F -pgmF tasty-discover #-}
+-- -optF --hide-successes