MuCheck-SmallCheck 0.2.1.0 → 0.3.0.0

raw patch · 3 files changed

+9/−22 lines, 3 filesdep −MissingHdep ~MuCheckPVP ok

version bump matches the API change (PVP)

Dependencies removed: MissingH

Dependency ranges changed: MuCheck

API changes (from Hackage documentation)

Files

• MuCheck-SmallCheck.cabal +4/−6
• src/Main.hs +4/−3
• src/Test/MuCheck/TestAdapter/SmallCheck.hs +1/−13

@@ -1,5 +1,5 @@ name:                MuCheck-SmallCheck-version:             0.2.1.0+version:             0.3.0.0 synopsis:            Automated Mutation Testing for SmallCheck tests description:         This package contains the test adapter for SmallCheck tests to use it with MuCheck homepage:            https://bitbucket.com/osu-testing/mucheck-smallcheck@@ -19,13 +19,12 @@ source-repository    this   type:              git   location:          https://bitbucket.org/osu-testing/mucheck-smallcheck.git-  tag:               0.2.1.0+  tag:               0.3.0.0  executable mucheck-smallcheck   build-depends:    base >=4 && <5,                     smallcheck == 1.1.1,-                    MissingH >= 1.3,-                    MuCheck== 0.2.1.*+                    MuCheck== 0.3.0.0   default-language: Haskell2010   hs-source-dirs:   src   main-is:          Main.hs@@ -35,8 +34,7 @@   exposed-modules:  Test.MuCheck.TestAdapter.SmallCheck   build-depends:    base >=4 && <5,                     smallcheck == 1.1.1,-                    MissingH >= 1.3,-                    MuCheck==0.2.1.*+                    MuCheck==0.3.0.0   default-language: Haskell2010   hs-source-dirs:   src 

@@ -1,5 +1,5 @@ module Main where-import System.Environment (getArgs, withArgs)+import System.Environment (getArgs)  import Test.MuCheck (mucheck) import Test.MuCheck.TestAdapter.SmallCheck@@ -11,9 +11,10 @@   val <- getArgs   case val of     ("-h" : _ ) -> help-    (fn : file : args) -> withArgs [] $ mucheck tsFn fn file args+    (fn : file : args) -> do (msum, _tsum) <- mucheck tsFn fn file args+                             putStrLn (show msum)     _ -> error "Need function file [args]\n\tUse -h to get help"-  where tsFn :: [Mutant] -> [InterpreterOutput SmallCheckSummary] -> Summary+  where tsFn :: Mutant -> TestStr -> InterpreterOutput SmallCheckSummary -> Summary         tsFn = testSummary  

@@ -3,26 +3,14 @@ module Test.MuCheck.TestAdapter.SmallCheck where import qualified Test.SmallCheck.Drivers as Sc import Test.MuCheck.TestAdapter-import Test.MuCheck.Utils.Print (showA, showAS)-import Data.Hash.MD5 (md5s, Str(..))  import Data.Typeable-import Data.List((\\))-import Data.Either (partitionEithers)  type SmallCheckSummary = Maybe Sc.PropertyFailure deriving instance Typeable Sc.PropertyFailure  -- | Summarizable instance of `SmallCheckSummary` instance Summarizable SmallCheckSummary where-  testSummary mutantFiles results = Summary logMsg-    where (errorCases, executedCases) = partitionEithers results-          [successCases, failureCases] = map (\c -> filter (c . snd) executedCases) [isSuccess, isFailure]-          errorFiles = map (\l -> ".mutants/" ++ (md5s $ Str l) ++ ".hs") mutantFiles \\ map fst executedCases-          logMsg = showAS ["Details:",-                           "Loading error files:", showA errorFiles,-                           "Loading error messages:", showA errorCases,-                           "Successes:", showA successCases,-                           "Failure:", showA failureCases]+  testSummary _mutant _test result = Summary $ _ioLog result   isSuccess Nothing = True   isSuccess _       = False