use IOSimPor

Author: UlfNorell

quickcheck-dynamic/test/Spec/DynamicLogic/RegistryModel.hs

@@ -1,11 +1,13 @@
 {-# LANGUAGE UndecidableInstances #-}
+{-# LANGUAGE ImpredicativeTypes #-}
 {-# OPTIONS_GHC -Wno-orphans #-}
 module Spec.DynamicLogic.RegistryModel where
 
 import Control.Concurrent.Class.MonadSTM
 import Control.Monad.Class.MonadFork
 import Control.Monad.Class.MonadThrow
 import Control.Monad.Class.MonadTimer
+import Control.Monad.Class.MonadTest
 import Control.Monad.IOSim
 
 import GHC.Generics
@@ -253,6 +255,22 @@ prop_parRegistryIOSim (IOSimActions as) = monadicIOSim_ prop
       runPropertyReaderT (runParActions $ as @s) reg
       pure ()
 
+prop_parRegistryIOSimPor :: IOSimActions -> Property
+prop_parRegistryIOSimPor (IOSimActions as) = forAllBlind prop' $ \ p -> exploreSimTrace id p $ \ _ tr ->
+    either (flip counterexample False . show) id $ traceResult False tr
+  where
+    prop' :: Gen (forall s. IOSim s Property)
+    prop' = do
+      Capture eval <- capture
+      pure (eval prop)
+
+    prop :: forall s. Gen (IOSim s Property)
+    prop = monadic' $ do
+      reg <- lift setupRegistry
+      lift exploreRaces
+      runPropertyReaderT (runParActions $ as @s) reg
+      pure ()
+
 propDL :: DL (RegState IO) () -> Property
 propDL d = forAllDL d prop_Registry