| module | Top Level Definitions | Alternatives | Expressions | ||||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| % | covered / total | % | covered / total | % | covered / total | ||||||||||
| module AbsConc3 | 100% | 15/15 | 53% | 31/58 | 24% | 123/500 | |||||||||
| module AbstractEval2 | 100% | 5/5 | 91% | 22/24 | 79% | 71/89 | |||||||||
| module AbstractMisc | 100% | 17/17 | 100% | 29/29 | 79% | 146/184 | |||||||||
| module AbstractVals2 | 100% | 46/46 | 74% | 95/128 | 62% | 337/541 | |||||||||
| module Apply | 100% | 4/4 | 100% | 18/18 | 90% | 148/164 | |||||||||
| module BarakiConc3 | 100% | 12/12 | 55% | 26/47 | 30% | 105/350 | |||||||||
| module BarakiMeet | 100% | 14/14 | 92% | 35/38 | 80% | 151/188 | |||||||||
| module Constructors | 100% | 3/3 | 82% | 23/28 | 77% | 226/293 | |||||||||
| module Dependancy | 100% | 10/10 | 80% | 21/26 | 70% | 197/280 | |||||||||
| module DomainExpr | 100% | 8/8 | 100% | 39/39 | 86% | 154/179 | |||||||||
| module EtaAbstract | 100% | 6/6 | 66% | 14/21 | 48% | 97/198 | |||||||||
| module FrontierGENERIC2 | 100% | 6/6 | 34% | 16/46 | 16% | 60/372 | |||||||||
| module FrontierMisc2 | 100% | 8/8 | 61% | 8/13 | 75% | 97/128 | |||||||||
| module Inverse | 100% | 7/7 | 45% | 11/24 | 47% | 93/194 | |||||||||
| module LambdaLift5 | 100% | 14/14 | 73% | 67/91 | 44% | 385/858 | |||||||||
| module MakeDomains | 100% | 4/4 | 75% | 6/8 | 74% | 79/106 | |||||||||
| module Monster | 100% | 2/2 | 100% | 2/2 | 31% | 19/60 | |||||||||
| module MyUtils | 100% | 22/22 | 95% | 42/44 | 83% | 167/200 | |||||||||
| module Parser2 | 100% | 63/63 | 31% | 28/90 | 23% | 243/1031 | |||||||||
| module PrettyPrint | 100% | 10/10 | 90% | 20/22 | 45% | 99/217 | |||||||||
| module PrintResults | 100% | 11/11 | 84% | 21/25 | 46% | 149/322 | |||||||||
| module ReadTable | 100% | 9/9 | 26% | 5/19 | 38% | 93/244 | |||||||||
| module Simplify | 100% | 5/5 | 83% | 25/30 | 55% | 75/134 | |||||||||
| module SmallerLattice | 100% | 11/11 | 46% | 21/45 | 34% | 173/507 | |||||||||
| module SuccsAndPreds2 | 100% | 20/20 | 79% | 39/49 | 62% | 290/465 | |||||||||
| module TExpr2DExpr | 100% | 4/4 | 54% | 12/22 | 66% | 87/130 | |||||||||
| module Utils | 100% | 71/71 | 74% | 59/79 | 62% | 413/666 | |||||||||
| module TypeCheck5 | 86% | 66/76 | 34% | 45/131 | 23% | 311/1326 | |||||||||
| module FrontierDATAFN2 | 83% | 10/12 | 63% | 19/30 | 12% | 48/388 | |||||||||
| module BaseDefs | 35% | 27/76 | - | 0/0 | 78% | 32/41 | |||||||||
| module Main | 0% | 0/7 | 0% | 0/22 | 0% | 0/474 | |||||||||
| module StrictAn6 | 0% | 0/30 | 0% | 0/122 | 0% | 0/1295 | |||||||||
| Program Coverage Total | 83% | 510/608 | 58% | 799/1370 | 38% | 4668/12124 | |||||||||