| module | Top Level Definitions | Alternatives | Expressions | ||||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| % | covered / total | % | covered / total | % | covered / total | ||||||||||
| module AbsConc3 | 100% | 15/15 | 89% | 52/58 | 45% | 229/500 | |||||||||
| module AbstractEval2 | 100% | 5/5 | 91% | 22/24 | 88% | 79/89 | |||||||||
| module AbstractMisc | 100% | 17/17 | 100% | 29/29 | 64% | 118/184 | |||||||||
| module AbstractVals2 | 100% | 46/46 | 89% | 114/128 | 80% | 435/541 | |||||||||
| module Apply | 100% | 4/4 | 100% | 18/18 | 92% | 151/164 | |||||||||
| module BarakiConc3 | 100% | 12/12 | 72% | 34/47 | 28% | 98/350 | |||||||||
| module BarakiMeet | 100% | 14/14 | 100% | 38/38 | 53% | 101/188 | |||||||||
| module Constructors | 100% | 3/3 | 64% | 18/28 | 57% | 169/293 | |||||||||
| module Dependancy | 100% | 10/10 | 96% | 25/26 | 78% | 220/280 | |||||||||
| module DomainExpr | 100% | 8/8 | 100% | 39/39 | 74% | 133/179 | |||||||||
| module EtaAbstract | 100% | 6/6 | 66% | 14/21 | 11% | 22/198 | |||||||||
| module FrontierDATAFN2 | 100% | 12/12 | 66% | 20/30 | 10% | 40/388 | |||||||||
| module FrontierGENERIC2 | 100% | 6/6 | 65% | 30/46 | 24% | 92/372 | |||||||||
| module FrontierMisc2 | 100% | 8/8 | 100% | 13/13 | 68% | 88/128 | |||||||||
| module Inverse | 100% | 7/7 | 100% | 24/24 | 72% | 141/194 | |||||||||
| module LambdaLift5 | 100% | 14/14 | 76% | 70/91 | 23% | 198/858 | |||||||||
| module Main | 100% | 7/7 | 18% | 4/22 | 8% | 41/474 | |||||||||
| module MakeDomains | 100% | 4/4 | 50% | 4/8 | 72% | 77/106 | |||||||||
| module Monster | 100% | 2/2 | 100% | 2/2 | 11% | 7/60 | |||||||||
| module MyUtils | 100% | 22/22 | 100% | 44/44 | 67% | 135/200 | |||||||||
| module Parser2 | 100% | 63/63 | 58% | 53/90 | 51% | 536/1031 | |||||||||
| module PrettyPrint | 100% | 10/10 | 90% | 20/22 | 36% | 79/217 | |||||||||
| module PrintResults | 100% | 11/11 | 80% | 20/25 | 31% | 100/322 | |||||||||
| module ReadTable | 100% | 9/9 | 26% | 5/19 | 34% | 85/244 | |||||||||
| module Simplify | 100% | 5/5 | 100% | 30/30 | 72% | 97/134 | |||||||||
| module SmallerLattice | 100% | 11/11 | 95% | 43/45 | 91% | 463/507 | |||||||||
| module StrictAn6 | 100% | 30/30 | 54% | 66/122 | 22% | 293/1295 | |||||||||
| module SuccsAndPreds2 | 100% | 20/20 | 100% | 49/49 | 75% | 350/465 | |||||||||
| module TExpr2DExpr | 100% | 4/4 | 77% | 17/22 | 68% | 89/130 | |||||||||
| module TypeCheck5 | 100% | 76/76 | 74% | 98/131 | 52% | 699/1326 | |||||||||
| module Utils | 100% | 71/71 | 93% | 74/79 | 80% | 539/666 | |||||||||
| module BaseDefs | 64% | 49/76 | - | 0/0 | 48% | 20/41 | |||||||||
| Program Coverage Total | 95% | 581/608 | 79% | 1089/1370 | 48% | 5924/12124 | |||||||||