Adding draft and show to hpc
authorandy@galois.com <unknown>
Thu, 12 Jul 2007 19:42:00 +0000 (19:42 +0000)
committerandy@galois.com <unknown>
Thu, 12 Jul 2007 19:42:00 +0000 (19:42 +0000)
commita966047ca5c407f336a633d716d3d7b5ed29d231
tree2022e1d3b41e70d664efc1fd93b7f39590502464
parent41ac7eb30ff99535c24c39efd33e2b65ea458707
Adding draft and show to hpc

we now have

  hpc draft <TIX_FILE>

This drafts up a candidate overlay for 100% coverage.

and

  hpc show  <TIX_FILE>

This show verbose details about a tix file; mainly for debugging.
utils/hpc/Hpc.hs
utils/hpc/HpcDraft.hs [new file with mode: 0644]
utils/hpc/HpcFlags.hs
utils/hpc/HpcShowTix.hs [new file with mode: 0644]
utils/hpc/HpcUtils.hs [new file with mode: 0644]