| module | Top Level Definitions | Alternatives | Expressions | ||||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| % | covered / total | % | covered / total | % | covered / total | ||||||||||
| module Infer | 20% | 1/5 | 100% | 4/4 | 7% | 9/124 | |||||||||
| module InferMonad | 100% | 15/15 | 100% | 4/4 | 94% | 115/122 | |||||||||
| module MaybeM | 100% | 10/10 | 100% | 12/12 | 90% | 27/30 | |||||||||
| module MyList | 100% | 2/2 | 100% | 4/4 | 100% | 15/15 | |||||||||
| module Parse | 100% | 35/35 | 100% | 10/10 | 98% | 195/198 | |||||||||
| module Shows | 100% | 10/10 | 100% | 4/4 | 100% | 45/45 | |||||||||
| module Substitution | 100% | 14/14 | 100% | 11/11 | 95% | 98/103 | |||||||||
| module Type | 75% | 12/16 | 50% | 4/8 | 53% | 77/145 | |||||||||
| module Term | 72% | 8/11 | 0% | 0/6 | 28% | 44/153 | |||||||||
| module Environment | 80% | 12/15 | - | 0/0 | 75% | 54/72 | |||||||||
| module FiniteMap | 100% | 14/14 | - | 0/0 | 98% | 65/66 | |||||||||
| module Main | 100% | 4/4 | - | 0/0 | 52% | 24/46 | |||||||||
| module State | 100% | 7/7 | - | 0/0 | 100% | 38/38 | |||||||||
| module StateX | 100% | 8/8 | - | 0/0 | 100% | 55/55 | |||||||||
| Program Coverage Total | 91% | 152/166 | 84% | 53/63 | 71% | 861/1212 | |||||||||