1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
|
{-# LANGUAGE ImplicitParams #-}
module Main ( main ) where
import qualified Test.Tasty as T
import qualified Control.Exception as CE
import qualified What4.Utils.Serialize as U
import qualified What4.Serialize.Log as U
import SymFnTests
allTests :: (U.HasLogCfg) => T.TestTree
allTests = T.testGroup "What4" symFnTests
main :: IO ()
main = do
logCfg <- U.mkLogCfg "main"
let ?logCfg = logCfg
U.withAsyncLinked (U.tmpFileLogEventConsumer (const True) logCfg) $
const $ T.defaultMain allTests `CE.finally` U.logEndWith logCfg
|
