dejafu/dejafu-tests
Michael Walker 94e22a765e Add tests for refinement checking
New coverage report, as there have been a bunch of new tests since the
one in the CONTRIBUTING file was generated:

 54% expressions used (4311/7948)
 51% boolean coverage (67/131)
      47% guards (50/106), 31 always True, 6 always False, 19 unevaluated
      57% 'if' conditions (11/19), 2 always True, 1 always False, 5 unevaluated
     100% qualifiers (6/6)
 61% alternatives used (413/671)
 83% local declarations used (212/254)
 28% top-level declarations used (313/1099)
2017-06-07 14:25:55 +01:00
..
Cases Add tests for refinement checking 2017-06-07 14:25:55 +01:00
Examples Make Way a GADT. 2017-04-08 20:57:25 +01:00
Cases.hs Add tests for refinement checking 2017-06-07 14:25:55 +01:00
dejafu-tests.cabal Add tests for refinement checking 2017-06-07 14:25:55 +01:00
Examples.hs Add the Search Party failing test example 2016-03-31 15:08:37 +01:00
LICENSE Make a separate package for the test suite. Closes #31. 2015-12-01 05:07:56 +00:00
Main.hs Organise tests a little 2016-03-31 14:45:55 +01:00
QSemN.hs Test case for #81. 2017-05-03 23:09:56 +01:00
Setup.hs Make a separate package for the test suite. Closes #31. 2015-12-01 05:07:56 +00:00
Utils.hs Test case for #81. 2017-05-03 23:09:56 +01:00