add sometimes and always

Author: MaximilianAlgehed

quickcheck-dynamic/src/Test/QuickCheck/Extras.hs

@@ -2,6 +2,7 @@ module Test.QuickCheck.Extras where
 
 import Control.Monad.Reader
 import Control.Monad.State
+import Test.QuickCheck
 import Test.QuickCheck.Monadic
 
 runPropertyStateT :: Monad m => PropertyM (StateT s m) a -> s -> PropertyM m (a, s)
@@ -13,3 +14,9 @@ runPropertyReaderT :: Monad m => PropertyM (ReaderT e m) a -> e -> PropertyM m a
 runPropertyReaderT p e = MkPropertyM $ \k -> do
   m <- unPropertyM p $ fmap lift . k
   return $ runReaderT m e
+
+sometimes :: Testable p => Int -> p -> Property
+sometimes i = disjoin . replicate i
+
+always :: Testable p => Int -> p -> Property
+always i = conjoin . replicate i

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

@@ -120,6 +120,6 @@ instance RunModelPar Counter (ReaderT (IORef Int) IO) where
   postconditionPar _ _ _ _ = pure True
 
 prop_counter_par :: ParallelActions Counter -> Property
-prop_counter_par as = monadicIO $ do
+prop_counter_par as = always 10 $ monadicIO $ do
   ref <- lift $ newIORef (0 :: Int)
   runPropertyReaderT (runParActions as) ref