Commits

Author Commit Message Labels Comments Date
certainty
updated todo
certainty
updated quickcheck runner to use updated data-generators API
certainty
updated readme
certainty
removed comment
certainty
removed unneeded use of libraries
certainty
refactoring
certainty
upadated tests
certainty
added fully integrated smoke tests and some unit tests for console reporter
certainty
split up tests into their own modules. This way we can test the different reporters without having them inteferring with each other
certainty
added second example
certainty
dissection-reporter is now just dissection
certainty
unified repl outputters
certainty
updated console reporter to properly report failures
certainty
added dissection reporter
certainty
added example
certainty
added report of groups
certainty
added hooks into verification life-cycle
certainty
added grouping framework
certainty
restructured verifiers into single file and added meta package for all verifiers
certainty
added file for socket reporter
certainty
rebuild notifications framework so that you can add multiple listeners
certainty
whitespaces
certainty
polished console reporter
certainty
updated detail output for unequal strings
certainty
added skeleton for detailed output of failures
certainty
added reporting of pending verifictions
certainty
preparred nesting of output
certainty
unified pending formatter
certainty
unified colored and uncolored failure reporter
certainty
fixed odd syntax in memory-reporter
  1. Prev
  2. Next