| module | Top Level Definitions | Alternatives | Expressions | ||||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| % | covered / total | % | covered / total | % | covered / total | ||||||||||
| module Environment | 80% | 12/15 | - | 0/0 | 75% | 54/72 | |||||||||
| module FiniteMap | 100% | 14/14 | - | 0/0 | 95% | 63/66 | |||||||||
| module Infer | 20% | 1/5 | 100% | 4/4 | 7% | 9/124 | |||||||||
| module InferMonad | 93% | 14/15 | 100% | 4/4 | 86% | 106/122 | |||||||||
| module Main | 100% | 4/4 | - | 0/0 | 47% | 22/46 | |||||||||
| module MaybeM | 100% | 10/10 | 100% | 12/12 | 90% | 27/30 | |||||||||
| module MyList | 100% | 2/2 | 100% | 4/4 | 93% | 14/15 | |||||||||
| module Parse | 100% | 35/35 | 100% | 10/10 | 98% | 195/198 | |||||||||
| module Shows | 100% | 10/10 | 100% | 4/4 | 100% | 45/45 | |||||||||
| module State | 100% | 7/7 | - | 0/0 | 92% | 35/38 | |||||||||
| module StateX | 100% | 8/8 | - | 0/0 | 98% | 54/55 | |||||||||
| module Substitution | 100% | 14/14 | 54% | 6/11 | 67% | 70/103 | |||||||||
| module Term | 72% | 8/11 | 0% | 0/6 | 28% | 44/153 | |||||||||
| module Type | 75% | 12/16 | 50% | 4/8 | 53% | 77/145 | |||||||||
| Program Coverage Total | 90% | 151/166 | 76% | 48/63 | 67% | 815/1212 | |||||||||