dejafu 1.2.0.0 → 1.3.0.0

raw patch · 3 files changed

+20/−4 lines, 3 files

Files

• CHANGELOG.rst +12/−0
• Test/DejaFu/Settings.hs +6/−2
• dejafu.cabal +2/−2

@@ -6,6 +6,18 @@  .. _PVP: https://pvp.haskell.org/ +1.3.0.0 (2018-03-06)+--------------------++* Git: :tag:`dejafu-1.3.0.0`+* Hackage: :hackage:`dejafu-1.3.0.0`++Deprecated+~~~~~~~~~~++* (:pull:`240`) ``Test.DejaFu.Settings.swarmy``++ 1.2.0.0 - The Settings Release (2018-03-06) ------------------------------------------- 

@@ -22,7 +22,6 @@   , systematically   , randomly   , uniformly-  , swarmy    -- *** Schedule bounds @@ -164,6 +163,9 @@   -- * Lens helpers   , get   , set++  -- * Deprecated+  , swarmy   ) where  import           Control.Applicative   (Const(..))@@ -239,7 +241,7 @@   -> Int   -- ^ The number of executions to try.   -> Way-randomly g lim = swarmy g lim 1+randomly g lim = Weighted g lim 1  -- | Randomly execute a program, exploring a fixed number of -- executions.@@ -276,7 +278,9 @@   -> Int   -- ^ The number of executions to use the thread weights for.   -> Way+-- when this is removed, simplify the Weighted logic to not do re-use swarmy = Weighted+{-# DEPRECATED swarmy "Use randomly instead.  If you have a case where swarmy works better, please comment on issue #237." #-}  ------------------------------------------------------------------------------- -- Schedule bounds

@@ -2,7 +2,7 @@ -- documentation, see http://haskell.org/cabal/users-guide/  name:                dejafu-version:             1.2.0.0+version:             1.3.0.0 synopsis:            A library for unit-testing concurrent programs.  description:@@ -33,7 +33,7 @@ source-repository this   type:     git   location: https://github.com/barrucadu/dejafu.git-  tag:      dejafu-1.2.0.0+  tag:      dejafu-1.3.0.0  library   exposed-modules:     Test.DejaFu