Merge pull request #8 from msakai/improve-glpk-thread-safe-test

improve case_glpk_thread_safe test a little
msakai · Dec 26, 2020 · 374139c · 374139c
2 parents 80587ed + 3985bcb
commit 374139c
Showing 1 changed file with 12 additions and 9 deletions.
diff --git a/MIP-glpk/test/TestSuite.hs b/MIP-glpk/test/TestSuite.hs
@@ -1,4 +1,4 @@
--- {-# OPTIONS_GHC -Wall -Wno-unused-top-binds #-}
+{-# OPTIONS_GHC -Wall -Wno-unused-top-binds #-}
 {-# LANGUAGE CPP #-}
 {-# LANGUAGE OverloadedStrings #-}
 {-# LANGUAGE TemplateHaskell #-}
@@ -50,16 +50,19 @@ case_glpk_infeasible = do
 
 case_glpk_thread_safe :: Assertion
 case_glpk_thread_safe = when rtsSupportsBoundThreads $ do
-  t <- asyncBound $ do
-    ret <- Raw.glp_init_env
-    ret @?= 0
+  th1 <- asyncBound $ do
+    Raw.glp_init_env >>= (@?= 0)
+    Raw.glp_init_env >>= (@?= 1)
     th2 <- asyncBound $ do
-      ret <- Raw.glp_init_env
-      ret @?= 0
-      void $ Raw.glp_free_env
+      Raw.glp_init_env >>= (@?= 0)
+      Raw.glp_init_env >>= (@?= 1)
+      _ <- Raw.glp_free_env
+      Raw.glp_init_env >>= (@?= 0)
     wait th2
-    void $ Raw.glp_free_env
-  wait t
+    Raw.glp_init_env >>= (@?= 1)
+    _ <- Raw.glp_free_env
+    Raw.glp_init_env >>= (@?= 0)
+  wait th1
 
 -- ------------------------------------------------------------------------