Read secrets from an encrypted drive instead of gpg files
[rootstock.git] / quickcheck-tests.hs
blobd242b90c9d84021e5c38761fc9db219d60e2b738
1 module Main where
2 import Control.Applicative ((<$>))
3 import System.Exit (exitFailure, exitSuccess)
4 import Test.IndexedMatrix (allIndexedMatrixTests)
5 import Test.ValueSimplex (allValueSimplexTests)
7 main :: IO ()
8 main = do
9 success <- and <$> sequence
10 [ allIndexedMatrixTests
11 , allValueSimplexTests
13 if success
14 then do
15 putStrLn "All tests passed!"
16 exitSuccess
17 else do
18 putStrLn "At least one test failed."
19 exitFailure