Permalink
Browse files

better test build options

  • Loading branch information...
1 parent 5ff0597 commit 8f7567ea103b6142d0cb6c14017a8851b737bb87 @jberryman committed Jan 28, 2012
Showing with 7 additions and 1 deletion.
  1. +4 −0 Tests.hs
  2. +3 −1 pez.cabal
View
@@ -189,3 +189,7 @@ prop_move_UpCasting tup = maybe False id $
move (UpCasting :: UpCasting (Int,Int) ((),(Int,Int)) ) >>=
\z-> if (viewf z == viewf zCheck) then return True else return False
+-- NOT YET COVERED:
+--moveSaving To
+--level (move m z) == level z + delta m
+--exception hierarchy
View
@@ -53,7 +53,9 @@ Test-Suite zipper-tests
Type: exitcode-stdio-1.0
Main-is: Tests.hs
Build-depends: base, QuickCheck, test-framework, test-framework-quickcheck2
- GHC-Options: -fhpc -hpcdir dist/test/
+ GHC-Options: -fhpc -hpcdir dist/test/ -fforce-recomp
+ -- then run:
+ -- $ hpc markup --hpcdir=dist/test/ --destdir=dist/hpc/ zipper-tests.tix
Library

0 comments on commit 8f7567e

Please sign in to comment.