for testing, adding galois.gml raytrace spec
[packages/hpc.git] / tests / hpc_report_003.run.stdout
1 -----<module Main>-----
2  75% expressions used (3/4)
3 100% boolean coverage (0/0)
4      100% guards (0/0)
5      100% 'if' conditions (0/0)
6      100% qualifiers (0/0)
7 100% alternatives used (0/0)
8 100% local declarations used (0/0)
9 100% top-level declarations used (1/1)