mirror of
https://github.com/anoma/juvix.git
synced 2024-12-14 08:27:03 +03:00
5ed3ef34c0
* [cbackend] run minic tests with clang+wasi-sdk * [docs] Add docs for setting up clang+wasi-sdk * [doc] Updates README usage with clang * [docs] Fix LLVM URL in README * [docs] Fix README * [doc] Update clang setup docs with wasm-ld
51 lines
1.4 KiB
Haskell
51 lines
1.4 KiB
Haskell
module Base
|
|
( module Test.Tasty,
|
|
module Test.Tasty.HUnit,
|
|
module MiniJuvix.Prelude,
|
|
module Base,
|
|
)
|
|
where
|
|
|
|
import Data.Algorithm.Diff
|
|
import Data.Algorithm.DiffOutput
|
|
import MiniJuvix.Prelude
|
|
import System.Environment (lookupEnv)
|
|
import Test.Tasty
|
|
import Test.Tasty.HUnit
|
|
import Text.Show.Pretty hiding (Html)
|
|
|
|
data AssertionDescr
|
|
= Single Assertion
|
|
| Steps ((String -> IO ()) -> Assertion)
|
|
|
|
data TestDescr = TestDescr
|
|
{ _testName :: String,
|
|
_testRoot :: FilePath,
|
|
-- | relative to root
|
|
_testAssertion :: AssertionDescr
|
|
}
|
|
|
|
makeLenses ''TestDescr
|
|
|
|
mkTest :: TestDescr -> TestTree
|
|
mkTest TestDescr {..} = case _testAssertion of
|
|
Single assertion -> testCase _testName $ withCurrentDirectory _testRoot assertion
|
|
Steps steps -> testCaseSteps _testName (withCurrentDirectory _testRoot . steps)
|
|
|
|
assertEqDiff :: (Eq a, Show a) => String -> a -> a -> Assertion
|
|
assertEqDiff msg a b
|
|
| a == b = return ()
|
|
| otherwise = do
|
|
putStrLn (pack $ ppDiff (getGroupedDiff pa pb))
|
|
putStrLn "End diff"
|
|
fail msg
|
|
where
|
|
pa = lines $ ppShow a
|
|
pb = lines $ ppShow b
|
|
|
|
assertCmdExists :: FilePath -> Assertion
|
|
assertCmdExists cmd = assertBool ("Command: " <> cmd <> " is not present on $PATH") . isJust =<< findExecutable cmd
|
|
|
|
assertEnvVar :: String -> String -> IO String
|
|
assertEnvVar msg varName = fromMaybeM (assertFailure msg) (lookupEnv varName)
|