Update HPC tests to include markup colors legend.
[packages/hpc.git] / tests / simple / hpc001.stdout
1 "Hello"
2
3
4  75% expressions used (3/4)
5 100% boolean coverage (0/0)
6      100% guards (0/0)
7      100% 'if' conditions (0/0)
8      100% qualifiers (0/0)
9 100% alternatives used (0/0)
10 100% local declarations used (0/0)
11 100% top-level declarations used (1/1)
12
13
14 -----<module Main>-----
15  75% expressions used (3/4)
16 100% boolean coverage (0/0)
17      100% guards (0/0)
18      100% 'if' conditions (0/0)
19      100% qualifiers (0/0)
20 100% alternatives used (0/0)
21 100% local declarations used (0/0)
22 100% top-level declarations used (1/1)
23
24
25 Writing: Main.hs.html
26 <html>
27 <head>
28 <meta http-equiv="Content-Type" content="text/html; charset=UTF-8">
29 <style type="text/css">
30 span.lineno { color: white; background: #aaaaaa; border-right: solid white 12px }
31 span.nottickedoff { background: yellow}
32 span.istickedoff { background: white }
33 span.tickonlyfalse { margin: -1px; border: 1px solid #f20913; background: #f20913 }
34 span.tickonlytrue  { margin: -1px; border: 1px solid #60de51; background: #60de51 }
35 span.funcount { font-size: small; color: orange; z-index: 2; position: absolute; right: 20 }
36 span.decl { font-weight: bold }
37 span.spaces    { background: white }
38 </style>
39 </head>
40 <body>
41 <pre>
42 <span class="decl"><span class="nottickedoff">never executed</span> <span class="tickonlytrue">always true</span> <span class="tickonlyfalse">always false</span></span>
43 </pre>
44 <pre>
45 <span class="lineno">    1 </span><span class="decl"><span class="istickedoff">main = print (const &quot;Hello&quot; <span class="nottickedoff">&quot;World&quot;</span>)</span></span>
46
47 </pre>
48 </body>
49 </html>
50 Writing: hpc_index.html
51 <html><head><meta http-equiv="Content-Type" content="text/html; charset=UTF-8"><style type="text/css">table.bar { background-color: #f25913; }
52 td.bar { background-color: #60de51;  }
53 td.invbar { background-color: #f25913;  }
54 table.dashboard { border-collapse: collapse  ; border: solid 1px black }
55 .dashboard td { border: solid 1px black }
56 .dashboard th { border: solid 1px black }
57 </style>
58 </head><body><table class="dashboard" width="100%" border=1>
59 <tr><th rowspan=2><a href="hpc_index.html">module</a></th><th colspan=3><a href="hpc_index_fun.html">Top Level Definitions</a></th><th colspan=3><a href="hpc_index_alt.html">Alternatives</a></th><th colspan=3><a href="hpc_index_exp.html">Expressions</a></th></tr><tr><th>%</th><th colspan=2>covered / total</th><th>%</th><th colspan=2>covered / total</th><th>%</th><th colspan=2>covered / total</th></tr><tr>
60 <td>&nbsp;&nbsp;<tt>module <a href="Main.hs.html">Main</a></tt></td>
61 <td align="right">100%</td><td>1/1</td><td width=100><table cellpadding=0 cellspacing=0 width="100" class="bar"><tr><td><table cellpadding=0 cellspacing=0 width="100%"><tr><td height=12 class="bar"></td></tr></table></td></tr></table></td><td align="right">-&nbsp;</td><td>0/0</td><td width=100>&nbsp;</td><td align="right">75%</td><td>3/4</td><td width=100><table cellpadding=0 cellspacing=0 width="100" class="bar"><tr><td><table cellpadding=0 cellspacing=0 width="75%"><tr><td height=12 class="bar"></td></tr></table></td></tr></table></td></tr>
62 <tr></tr><tr style="background: #e0e0e0">
63 <th align=left>&nbsp;&nbsp;Program Coverage Total</tt></th>
64 <td align="right">100%</td><td>1/1</td><td width=100><table cellpadding=0 cellspacing=0 width="100" class="bar"><tr><td><table cellpadding=0 cellspacing=0 width="100%"><tr><td height=12 class="bar"></td></tr></table></td></tr></table></td><td align="right">-&nbsp;</td><td>0/0</td><td width=100>&nbsp;</td><td align="right">75%</td><td>3/4</td><td width=100><table cellpadding=0 cellspacing=0 width="100" class="bar"><tr><td><table cellpadding=0 cellspacing=0 width="75%"><tr><td height=12 class="bar"></td></tr></table></td></tr></table></td></tr>
65 </table></body></html>
66 Writing: hpc_index_fun.html
67 <html><head><meta http-equiv="Content-Type" content="text/html; charset=UTF-8"><style type="text/css">table.bar { background-color: #f25913; }
68 td.bar { background-color: #60de51;  }
69 td.invbar { background-color: #f25913;  }
70 table.dashboard { border-collapse: collapse  ; border: solid 1px black }
71 .dashboard td { border: solid 1px black }
72 .dashboard th { border: solid 1px black }
73 </style>
74 </head><body><table class="dashboard" width="100%" border=1>
75 <tr><th rowspan=2><a href="hpc_index.html">module</a></th><th colspan=3><a href="hpc_index_fun.html">Top Level Definitions</a></th><th colspan=3><a href="hpc_index_alt.html">Alternatives</a></th><th colspan=3><a href="hpc_index_exp.html">Expressions</a></th></tr><tr><th>%</th><th colspan=2>covered / total</th><th>%</th><th colspan=2>covered / total</th><th>%</th><th colspan=2>covered / total</th></tr><tr>
76 <td>&nbsp;&nbsp;<tt>module <a href="Main.hs.html">Main</a></tt></td>
77 <td align="right">100%</td><td>1/1</td><td width=100><table cellpadding=0 cellspacing=0 width="100" class="bar"><tr><td><table cellpadding=0 cellspacing=0 width="100%"><tr><td height=12 class="bar"></td></tr></table></td></tr></table></td><td align="right">-&nbsp;</td><td>0/0</td><td width=100>&nbsp;</td><td align="right">75%</td><td>3/4</td><td width=100><table cellpadding=0 cellspacing=0 width="100" class="bar"><tr><td><table cellpadding=0 cellspacing=0 width="75%"><tr><td height=12 class="bar"></td></tr></table></td></tr></table></td></tr>
78 <tr></tr><tr style="background: #e0e0e0">
79 <th align=left>&nbsp;&nbsp;Program Coverage Total</tt></th>
80 <td align="right">100%</td><td>1/1</td><td width=100><table cellpadding=0 cellspacing=0 width="100" class="bar"><tr><td><table cellpadding=0 cellspacing=0 width="100%"><tr><td height=12 class="bar"></td></tr></table></td></tr></table></td><td align="right">-&nbsp;</td><td>0/0</td><td width=100>&nbsp;</td><td align="right">75%</td><td>3/4</td><td width=100><table cellpadding=0 cellspacing=0 width="100" class="bar"><tr><td><table cellpadding=0 cellspacing=0 width="75%"><tr><td height=12 class="bar"></td></tr></table></td></tr></table></td></tr>
81 </table></body></html>
82 Writing: hpc_index_alt.html
83 <html><head><meta http-equiv="Content-Type" content="text/html; charset=UTF-8"><style type="text/css">table.bar { background-color: #f25913; }
84 td.bar { background-color: #60de51;  }
85 td.invbar { background-color: #f25913;  }
86 table.dashboard { border-collapse: collapse  ; border: solid 1px black }
87 .dashboard td { border: solid 1px black }
88 .dashboard th { border: solid 1px black }
89 </style>
90 </head><body><table class="dashboard" width="100%" border=1>
91 <tr><th rowspan=2><a href="hpc_index.html">module</a></th><th colspan=3><a href="hpc_index_fun.html">Top Level Definitions</a></th><th colspan=3><a href="hpc_index_alt.html">Alternatives</a></th><th colspan=3><a href="hpc_index_exp.html">Expressions</a></th></tr><tr><th>%</th><th colspan=2>covered / total</th><th>%</th><th colspan=2>covered / total</th><th>%</th><th colspan=2>covered / total</th></tr><tr>
92 <td>&nbsp;&nbsp;<tt>module <a href="Main.hs.html">Main</a></tt></td>
93 <td align="right">100%</td><td>1/1</td><td width=100><table cellpadding=0 cellspacing=0 width="100" class="bar"><tr><td><table cellpadding=0 cellspacing=0 width="100%"><tr><td height=12 class="bar"></td></tr></table></td></tr></table></td><td align="right">-&nbsp;</td><td>0/0</td><td width=100>&nbsp;</td><td align="right">75%</td><td>3/4</td><td width=100><table cellpadding=0 cellspacing=0 width="100" class="bar"><tr><td><table cellpadding=0 cellspacing=0 width="75%"><tr><td height=12 class="bar"></td></tr></table></td></tr></table></td></tr>
94 <tr></tr><tr style="background: #e0e0e0">
95 <th align=left>&nbsp;&nbsp;Program Coverage Total</tt></th>
96 <td align="right">100%</td><td>1/1</td><td width=100><table cellpadding=0 cellspacing=0 width="100" class="bar"><tr><td><table cellpadding=0 cellspacing=0 width="100%"><tr><td height=12 class="bar"></td></tr></table></td></tr></table></td><td align="right">-&nbsp;</td><td>0/0</td><td width=100>&nbsp;</td><td align="right">75%</td><td>3/4</td><td width=100><table cellpadding=0 cellspacing=0 width="100" class="bar"><tr><td><table cellpadding=0 cellspacing=0 width="75%"><tr><td height=12 class="bar"></td></tr></table></td></tr></table></td></tr>
97 </table></body></html>
98 Writing: hpc_index_exp.html
99 <html><head><meta http-equiv="Content-Type" content="text/html; charset=UTF-8"><style type="text/css">table.bar { background-color: #f25913; }
100 td.bar { background-color: #60de51;  }
101 td.invbar { background-color: #f25913;  }
102 table.dashboard { border-collapse: collapse  ; border: solid 1px black }
103 .dashboard td { border: solid 1px black }
104 .dashboard th { border: solid 1px black }
105 </style>
106 </head><body><table class="dashboard" width="100%" border=1>
107 <tr><th rowspan=2><a href="hpc_index.html">module</a></th><th colspan=3><a href="hpc_index_fun.html">Top Level Definitions</a></th><th colspan=3><a href="hpc_index_alt.html">Alternatives</a></th><th colspan=3><a href="hpc_index_exp.html">Expressions</a></th></tr><tr><th>%</th><th colspan=2>covered / total</th><th>%</th><th colspan=2>covered / total</th><th>%</th><th colspan=2>covered / total</th></tr><tr>
108 <td>&nbsp;&nbsp;<tt>module <a href="Main.hs.html">Main</a></tt></td>
109 <td align="right">100%</td><td>1/1</td><td width=100><table cellpadding=0 cellspacing=0 width="100" class="bar"><tr><td><table cellpadding=0 cellspacing=0 width="100%"><tr><td height=12 class="bar"></td></tr></table></td></tr></table></td><td align="right">-&nbsp;</td><td>0/0</td><td width=100>&nbsp;</td><td align="right">75%</td><td>3/4</td><td width=100><table cellpadding=0 cellspacing=0 width="100" class="bar"><tr><td><table cellpadding=0 cellspacing=0 width="75%"><tr><td height=12 class="bar"></td></tr></table></td></tr></table></td></tr>
110 <tr></tr><tr style="background: #e0e0e0">
111 <th align=left>&nbsp;&nbsp;Program Coverage Total</tt></th>
112 <td align="right">100%</td><td>1/1</td><td width=100><table cellpadding=0 cellspacing=0 width="100" class="bar"><tr><td><table cellpadding=0 cellspacing=0 width="100%"><tr><td height=12 class="bar"></td></tr></table></td></tr></table></td><td align="right">-&nbsp;</td><td>0/0</td><td width=100>&nbsp;</td><td align="right">75%</td><td>3/4</td><td width=100><table cellpadding=0 cellspacing=0 width="100" class="bar"><tr><td><table cellpadding=0 cellspacing=0 width="75%"><tr><td height=12 class="bar"></td></tr></table></td></tr></table></td></tr>
113 </table></body></html>
114
115