🎨 automated ormolu commit

lsrcz · Sep 5, 2024 · 2a092ae · 2a092ae
1 parent a47121c
commit 2a092ae
Show file tree

Hide file tree

Showing 3 changed files with 21 additions and 20 deletions.
diff --git a/test/Grisette/Core/Control/Monad/UnionTests.hs b/test/Grisette/Core/Control/Monad/UnionTests.hs
@@ -161,18 +161,18 @@ unionTests =
                       Just ("u1c", mrgSingle $ Left "u1a", mrgSingle $ Right "u1b")
                 actual @?= expected
             ]
-        ]{-,
-      testGroup
-        "Show"
-        [ testCase "Merged" $ do
-            let expected =
-                  "{If (ite u12c u1c u2c) (Left (ite u12c u1a u2a)) "
-                    ++ "(Right (ite u12c u1b u2b))}"
-            show union12Merged @?= expected,
-          testCase "Not merged" $ do
-            let expected = "<If u1c u1a u1b>"
-            show unionSimple1 @?= expected
-        ]-},
+        ] {-,
+          testGroup
+            "Show"
+            [ testCase "Merged" $ do
+                let expected =
+                      "{If (ite u12c u1c u2c) (Left (ite u12c u1a u2a)) "
+                        ++ "(Right (ite u12c u1b u2b))}"
+                show union12Merged @?= expected,
+              testCase "Not merged" $ do
+                let expected = "<If u1c u1a u1b>"
+                show unionSimple1 @?= expected
+            ]-},
       testGroup
         "PPrint"
         [ testCase "Merged" $ do

diff --git a/test/Grisette/SymPrim/Prim/ConcurrentTests.hs b/test/Grisette/SymPrim/Prim/ConcurrentTests.hs
@@ -44,7 +44,7 @@ concurrentTests =
         a@(SymInteger ta) <- takeMVar aref
         b@(SymInteger tb) <- takeMVar bref
         r <- solve z3 $ a .== b
-        print ta 
+        print ta
         print tb
         case r of
           Left err -> error $ show err

diff --git a/test/Main.hs b/test/Main.hs
@@ -79,13 +79,14 @@ import Test.Framework (Test, defaultMain, testGroup)
 main :: IO ()
 main = do
   return ()
-  -- defaultMain
-  --   [ coreTests,
-  --     irTests,
-  --     sbvTests,
-  --     libTests,
-  --     unifiedTests
-  --   ]
+
+-- defaultMain
+--   [ coreTests,
+--     irTests,
+--     sbvTests,
+--     libTests,
+--     unifiedTests
+--   ]
 
 coreTests :: Test
 coreTests =