Add a failing test for #331

barrucadu · Dec 28, 2020 · e166641 · e166641
1 parent 3d8f1ff
commit e166641
Showing 1 changed file with 6 additions and 0 deletions.
diff --git a/dejafu-tests/lib/Integration/Regressions.hs b/dejafu-tests/lib/Integration/Regressions.hs
@@ -7,6 +7,7 @@ import           Test.DejaFu               (exceptionsAlways, gives')
 import           Control.Concurrent.Classy
 import           Control.Exception         (AsyncException(..))
 import qualified Control.Monad.Catch       as E
+import           System.Random             (mkStdGen)
 
 import           Common
 
@@ -78,4 +79,9 @@ tests = toTestList
       killThread tId
       v <- takeMVar var
       pure (v :: Either AsyncException ())
+
+  , (:[]) . expectFail $ testDejafuWithSettings (fromWayAndMemType (randomly (mkStdGen 0) 10) defaultMemType) "https://github.com/barrucadu/dejafu/issues/331" (gives' [1]) $
+      withSetup (atomically $ newTVar (0::Int)) $ \tvar -> atomically $ do
+        modifyTVar tvar (+1)
+        readTVar tvar
   ]