module | Top Level Definitions | Alternatives | Expressions | ||||||||||||
---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
% | covered / total | % | covered / total | % | covered / total | ||||||||||
module AbsConc3 | 100% | 15/15 | 53% | 31/58 | 23% | 115/500 | |||||||||
module AbstractEval2 | 100% | 5/5 | 91% | 22/24 | 75% | 67/89 | |||||||||
module AbstractMisc | 100% | 17/17 | 100% | 29/29 | 54% | 101/184 | |||||||||
module AbstractVals2 | 100% | 46/46 | 75% | 97/128 | 59% | 322/541 | |||||||||
module Apply | 100% | 4/4 | 100% | 18/18 | 86% | 142/164 | |||||||||
module BarakiConc3 | 100% | 12/12 | 57% | 27/47 | 16% | 58/350 | |||||||||
module BarakiMeet | 100% | 14/14 | 92% | 35/38 | 46% | 87/188 | |||||||||
module BaseDefs | 35% | 27/76 | - | 0/0 | 26% | 11/41 | |||||||||
module Constructors | 100% | 3/3 | 64% | 18/28 | 52% | 155/293 | |||||||||
module Dependancy | 100% | 10/10 | 96% | 25/26 | 77% | 218/280 | |||||||||
module DomainExpr | 100% | 8/8 | 100% | 39/39 | 67% | 120/179 | |||||||||
module EtaAbstract | 100% | 6/6 | 66% | 14/21 | 11% | 22/198 | |||||||||
module FrontierDATAFN2 | 100% | 12/12 | 50% | 15/30 | 7% | 30/388 | |||||||||
module FrontierGENERIC2 | 100% | 6/6 | 34% | 16/46 | 13% | 52/372 | |||||||||
module FrontierMisc2 | 100% | 8/8 | 84% | 11/13 | 62% | 80/128 | |||||||||
module Inverse | 100% | 7/7 | 45% | 11/24 | 35% | 69/194 | |||||||||
module LambdaLift5 | 100% | 14/14 | 75% | 69/91 | 21% | 182/858 | |||||||||
module Main | 0% | 0/7 | 0% | 0/22 | 0% | 0/474 | |||||||||
module MakeDomains | 100% | 4/4 | 50% | 4/8 | 58% | 62/106 | |||||||||
module Monster | 100% | 2/2 | 100% | 2/2 | 11% | 7/60 | |||||||||
module MyUtils | 100% | 22/22 | 97% | 43/44 | 63% | 127/200 | |||||||||
module Parser2 | 100% | 63/63 | 31% | 28/90 | 22% | 229/1031 | |||||||||
module PrettyPrint | 100% | 10/10 | 90% | 20/22 | 36% | 79/217 | |||||||||
module PrintResults | 100% | 11/11 | 76% | 19/25 | 29% | 96/322 | |||||||||
module ReadTable | 100% | 9/9 | 26% | 5/19 | 34% | 85/244 | |||||||||
module Simplify | 100% | 5/5 | 100% | 30/30 | 64% | 87/134 | |||||||||
module SmallerLattice | 100% | 11/11 | 46% | 21/45 | 31% | 160/507 | |||||||||
module StrictAn6 | 0% | 0/30 | 0% | 0/122 | 0% | 0/1295 | |||||||||
module SuccsAndPreds2 | 100% | 20/20 | 77% | 38/49 | 46% | 218/465 | |||||||||
module TExpr2DExpr | 100% | 4/4 | 59% | 13/22 | 51% | 67/130 | |||||||||
module TypeCheck5 | 86% | 66/76 | 35% | 46/131 | 19% | 259/1326 | |||||||||
module Utils | 100% | 71/71 | 81% | 64/79 | 60% | 400/666 | |||||||||
Program Coverage Total | 84% | 512/608 | 59% | 810/1370 | 30% | 3707/12124 |