Safe Haskell | None |
---|---|
Language | Haskell2010 |
The Interpreter module is responible for invoking the Hint interpreter to evaluate mutants.
- evaluateMutants :: (Summarizable a, Show a) => (Mutant -> TestStr -> InterpreterOutput a -> Summary) -> [Mutant] -> [TestStr] -> IO (MAnalysisSummary, [MutantSummary])
- evalMethod :: (MonadInterpreter m, Typeable t) => String -> TestStr -> m t
- evalMutant :: (Typeable t, Summarizable t) => [TestStr] -> Mutant -> IO [InterpreterOutput t]
- evalTest :: (Typeable a, Summarizable a) => String -> String -> TestStr -> IO (InterpreterOutput a)
- summarizeResults :: Summarizable a => (Mutant -> TestStr -> InterpreterOutput a -> Summary) -> [TestStr] -> (Mutant, [InterpreterOutput a]) -> MutantSummary
- data MutantSummary
Documentation
:: (Summarizable a, Show a) | |
=> (Mutant -> TestStr -> InterpreterOutput a -> Summary) | The summary function |
-> [Mutant] | The mutants to be evaluated |
-> [TestStr] | The tests to be used by mutation analysis |
-> IO (MAnalysisSummary, [MutantSummary]) | Returns a tuple of full run summary and individual mutant summary |
Given the list of tests suites to check, run the test suite on mutants.
:: (MonadInterpreter m, Typeable t) | |
=> String | The mutant _file_ to load |
-> TestStr | The test to be run |
-> m t | Returns the monadic computation to be run by I.runInterpreter |
Given the filename, modulename, test to evaluate, evaluate, and return result as a pair.
t = I.runInterpreter (evalMethod "Examples/QuickCheckTest.hs" "quickCheckResult idEmp")
:: (Typeable t, Summarizable t) | |
=> [TestStr] | The tests to be used |
-> Mutant | Mutant being tested |
-> IO [InterpreterOutput t] | Returns the result of test runs |
Run all tests on a mutant
:: (Typeable a, Summarizable a) | |
=> String | The mutant _file_ that we have to evaluate (_not_ the content) |
-> String | The file where we will write the stdout and stderr during the run. |
-> TestStr | The test to be run |
-> IO (InterpreterOutput a) | Returns the output of given test run |
Run one single test on a mutant
:: Summarizable a | |
=> (Mutant -> TestStr -> InterpreterOutput a -> Summary) | The summary function |
-> [TestStr] | Tests we used to run analysis |
-> (Mutant, [InterpreterOutput a]) | The mutant and its corresponding output of test runs. |
-> MutantSummary | Returns a summary of the run for the mutant |
The summarizeResults
function evaluates the results of a test run
using the supplied isSuccess
and testSummaryFn
functions from the adapters
data MutantSummary Source
Data type to hold results of a single test execution