mirror of
https://github.com/GaloisInc/macaw.git
synced 2024-12-18 19:41:44 +03:00
19 lines
466 B
Haskell
19 lines
466 B
Haskell
module Main where
|
|
|
|
|
|
import ARMTests
|
|
import MismatchTests
|
|
import System.FilePath.Glob (namesMatching)
|
|
import Test.Tasty (defaultMain, testGroup)
|
|
|
|
|
|
main :: IO ()
|
|
main = do
|
|
testFiles <- namesMatching "tests/arm/*.mcw.expected"
|
|
bins <- namesMatching "tests/arm/bin/*"
|
|
badbins <- namesMatching "tests/arm/*.exe=bad"
|
|
defaultMain $ testGroup "ARMMacawTests"
|
|
[ armAsmTests testFiles
|
|
, armMismatchTests badbins
|
|
]
|