HTML test reporter for the Tasty test framework.
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:defaultIngredients) 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 ]
To produce the HTML output, run the test program with the
giving it the html file path:
./test --html results.html
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.)
When cloning this repository use
--recursive parameter to checkout the git
submodule pointing to the
bootstrap fork being used by
$ git clone --recursive https://github.com/feuerbach/tasty-html
Making changes to the
bootstrap fork is the same procedure followed by the
$ cd data/bootstrap $ npm install
You might change the style by editing the
less files. Once you are done, use
grunt to compile the
$ grunt dist
This assumes you have
grunt-cli installed globally, either with
npm install -g grunt-cli) or from a package manager if available.
Consider submitting your changes as pull requests to the
fork at https://github.com/jdnavarro/bootstrap.
0.4.1.4 - 2021-01-13
0.4.1.3 - 2021-01-13
Update to tasty-1.4
0.4.1.2 - 2018-06-27
Fix compatibility with GHC 8.4
0.4.1.1 - 2015-11-10
- Report running time for tests.
0.4.1 - 2014-11-18
0.4 - 2014-11-11
- Add option to load bootstrap assets externally.
This release is mainly about upgrading to bootstrap3.
- Modifications to bootstrap are done directly in its source, which is now maintained as a fork at https://github.com/jdnavarro/bootstrap. The modifications are mainly about inlining resources.
- Icons are now true fonts instead of image sprites.
- Test trees are represented as media objects.
- Remove dependendency to bootstrap-tree.
- Upgrade to
- Fix HTML malformation.
- Remove forgotten
undefinedthat made failing tests crash.