MuCheck-QuickCheck 0.2.0.0 → 0.2.1.0
raw patch · 3 files changed
+14/−11 lines, 3 filesdep +MissingHdep ~MuCheckPVP ok
version bump matches the API change (PVP)
Dependencies added: MissingH
Dependency ranges changed: MuCheck
API changes (from Hackage documentation)
Files
MuCheck-QuickCheck.cabal view
@@ -1,5 +1,5 @@ name: MuCheck-QuickCheck-version: 0.2.0.0+version: 0.2.1.0 synopsis: Automated Mutation Testing for QuickCheck tests description: This package contains the test adapter for QuickCheck tests to use it with MuCheck homepage: https://bitbucket.com/osu-testing/mucheck-quickcheck@@ -19,12 +19,13 @@ source-repository this type: git location: https://bitbucket.org/osu-testing/mucheck-quickcheck.git- tag: 0.2.0.0+ tag: 0.2.1.0 executable mucheck-quickcheck build-depends: base >=4 && <5, QuickCheck>=2.6,- MuCheck== 0.2.0.*+ MissingH >= 1.3,+ MuCheck== 0.2.1.* default-language: Haskell2010 hs-source-dirs: src main-is: Main.hs@@ -34,7 +35,8 @@ exposed-modules: Test.MuCheck.TestAdapter.QuickCheck build-depends: base >=4 && <5, QuickCheck>=2.6,- MuCheck==0.2.0.*+ MissingH >= 1.3,+ MuCheck==0.2.1.* default-language: Haskell2010 hs-source-dirs: src
src/Main.hs view
@@ -11,12 +11,12 @@ val <- getArgs case val of ("-h" : _ ) -> help- (fn : file : modulename : args) -> withArgs [] $ mucheck tsFn fn file modulename args- _ -> error "Need function file modulename [args]\n\tUse -h to get help"- where tsFn :: [MutantFilename] -> [InterpreterOutput QuickCheckSummary] -> Summary+ (fn : file : args) -> do+ withArgs [] $ mucheck tsFn fn file args+ _ -> error "Need function file [args]\n\tUse -h to get help"+ where tsFn :: [Mutant] -> [InterpreterOutput QuickCheckSummary] -> Summary tsFn = testSummary - help :: IO ()-help = putStrLn $ "mucheck function file modulename [args]\n" ++ showAS ["E.g:",- " mucheck-quickcheck qsort Examples/QuickCheckTest.hs Examples.QuickCheckTest 'quickCheckResult idEmpProp' 'quickCheckResult revProp' 'quickCheckResult modelProp'",""]+help = putStrLn $ "mucheck function file [args]\n" ++ showAS ["E.g:",+ " mucheck-quickcheck qsort Examples/QuickCheckTest.hs 'quickCheckResult idEmpProp' 'quickCheckResult revProp' 'quickCheckResult modelProp'",""]
src/Test/MuCheck/TestAdapter/QuickCheck.hs view
@@ -4,6 +4,7 @@ import qualified Test.QuickCheck.Test as Qc import Test.MuCheck.TestAdapter import Test.MuCheck.Utils.Print (showA, showAS)+import Data.Hash.MD5 (md5s, Str(..)) import Data.Typeable import Data.List((\\))@@ -17,7 +18,7 @@ testSummary mutantFiles results = Summary logMsg where (errorCases, executedCases) = partitionEithers results [successCases, failureCases, gaveUpCases] = map (\c -> filter (c . snd) executedCases) [isSuccess, isFailure, isOther]- errorFiles = mutantFiles \\ map fst executedCases+ 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,