tasty-html: Render tasty output to HTML

This is a package candidate release! Here you can preview how this package release will appear once published to the main package index (which can be accomplished via the 'maintain' link below). Please note that once a package has been published to the main package index it cannot be undone! Please consult the package uploading documentation for more information.

[maintain] [Publish]

Warnings:

A tasty ingredient to output test results in HTML5.


[Skip to Readme]

Properties

Versions 0.1, 0.2, 0.2, 0.3, 0.4, 0.4.1, 0.4.1.1, 0.4.1.2, 0.4.1.3, 0.4.1.4
Change log CHANGELOG.md
Dependencies base (>=4.5 && <5), blaze-html (>=0.7), bytestring (>=0.10), containers (>=0.5.0.0), generic-deriving (>=1.6.2), mtl (>=2.1.2), stm (>=2.4.2), tagged (>=0.7), tasty (>=0.8), text (>=1.0), transformers (>=0.3.0.0) [details]
License MIT
Author Danny Navarro, Roman Cheplyaka, Chris Catalfo
Maintainer j@dannyavarro.net, roma@ro-che.info
Category Testing
Home page http://github.com/feuerbach/tasty-html
Source repo head: git clone git://github.com/feuerbach/tasty-html.git
Uploaded by jdnavarro at 2014-07-16T11:41:15Z

Modules

Downloads

Maintainer's Corner

For package maintainers and hackage trustees


Readme for tasty-html-0.2

[back to package description]

tasty-html

HTML test reporter for the Tasty test framework.

Example

Here's how your test.hs might look like:

import Test.Tasty
import Test.Tasty.SmallCheck as SC
import Test.Tasty.QuickCheck as QC
import Test.Tasty.HUnit
import Test.Tasty.Runners.Html

import Data.List
import Data.Ord

main = defaultMainWithIngredients (htmlRunner:deafultIngredients) tests

tests :: TestTree
tests = testGroup "Tests" [properties, unitTests]

properties :: TestTree
properties = testGroup "Properties" [scProps, qcProps]

scProps = testGroup "(checked by SmallCheck)"
  [ SC.testProperty "sort == sort . reverse" $
      \list -> sort (list :: [Int]) == sort (reverse list)
  , SC.testProperty "Fermat's little theorem" $
      \x -> ((x :: Integer)^7 - x) `mod` 7 == 0
  -- the following property does not hold
  , SC.testProperty "Fermat's last theorem" $
      \x y z n ->
        (n :: Integer) >= 3 SC.==> x^n + y^n /= (z^n :: Integer)
  ]

qcProps = testGroup "(checked by QuickCheck)"
  [ QC.testProperty "sort == sort . reverse" $
      \list -> sort (list :: [Int]) == sort (reverse list)
  , QC.testProperty "Fermat's little theorem" $
      \x -> ((x :: Integer)^7 - x) `mod` 7 == 0
  -- the following property does not hold
  , QC.testProperty "Fermat's last theorem" $
      \x y z n ->
        (n :: Integer) >= 3 QC.==> x^n + y^n /= (z^n :: Integer)
  ]

unitTests = testGroup "Unit tests"
  [ testCase "List comparison (different length)" $
      [1, 2, 3] `compare` [1,2] @?= GT

  -- the following test does not hold
  , testCase "List comparison (same length)" $
      [1, 2, 3] `compare` [1,2,2] @?= LT
  ]

And here is the output of the above program rendered to HTML:

(Note that whether QuickCheck finds a counterexample to the third property is determined by chance.)