module | Top Level Definitions | Alternatives | Expressions | ||||||||||||
---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
% | covered / total | % | covered / total | % | covered / total | ||||||||||
module Apply | 100% | 4/4 | 100% | 18/18 | 100% | 164/164 | |||||||||
module BarakiMeet | 100% | 14/14 | 100% | 38/38 | 100% | 188/188 | |||||||||
module BaseDefs | 69% | 53/76 | - | 0/0 | 100% | 41/41 | |||||||||
module DomainExpr | 100% | 8/8 | 100% | 39/39 | 100% | 179/179 | |||||||||
module AbstractMisc | 100% | 17/17 | 100% | 29/29 | 99% | 183/184 | |||||||||
module AbstractVals2 | 100% | 46/46 | 99% | 127/128 | 99% | 539/541 | |||||||||
module FrontierMisc2 | 100% | 8/8 | 100% | 13/13 | 99% | 127/128 | |||||||||
module SmallerLattice | 100% | 11/11 | 100% | 45/45 | 99% | 505/507 | |||||||||
module SuccsAndPreds2 | 100% | 20/20 | 100% | 49/49 | 99% | 462/465 | |||||||||
module MyUtils | 100% | 22/22 | 100% | 44/44 | 98% | 197/200 | |||||||||
module Utils | 100% | 71/71 | 98% | 78/79 | 98% | 656/666 | |||||||||
module Dependancy | 100% | 10/10 | 96% | 25/26 | 97% | 272/280 | |||||||||
module EtaAbstract | 100% | 6/6 | 100% | 21/21 | 97% | 193/198 | |||||||||
module Simplify | 100% | 5/5 | 100% | 30/30 | 97% | 130/134 | |||||||||
module Constructors | 100% | 3/3 | 100% | 28/28 | 96% | 284/293 | |||||||||
module TExpr2DExpr | 100% | 4/4 | 86% | 19/22 | 96% | 126/130 | |||||||||
module AbsConc3 | 100% | 15/15 | 96% | 56/58 | 95% | 478/500 | |||||||||
module Inverse | 100% | 7/7 | 100% | 24/24 | 95% | 186/194 | |||||||||
module AbstractEval2 | 100% | 5/5 | 91% | 22/24 | 94% | 84/89 | |||||||||
module MakeDomains | 100% | 4/4 | 87% | 7/8 | 92% | 98/106 | |||||||||
module PrettyPrint | 100% | 10/10 | 100% | 22/22 | 89% | 195/217 | |||||||||
module TypeCheck5 | 100% | 76/76 | 88% | 116/131 | 85% | 1136/1326 | |||||||||
module LambdaLift5 | 100% | 14/14 | 87% | 80/91 | 84% | 723/858 | |||||||||
module BarakiConc3 | 100% | 12/12 | 89% | 42/47 | 76% | 267/350 | |||||||||
module FrontierGENERIC2 | 100% | 6/6 | 89% | 41/46 | 72% | 268/372 | |||||||||
module Parser2 | 100% | 63/63 | 76% | 69/90 | 72% | 751/1031 | |||||||||
module FrontierDATAFN2 | 100% | 12/12 | 86% | 26/30 | 65% | 254/388 | |||||||||
module PrintResults | 100% | 11/11 | 92% | 23/25 | 57% | 184/322 | |||||||||
module ReadTable | 100% | 9/9 | 26% | 5/19 | 38% | 93/244 | |||||||||
module StrictAn6 | 100% | 30/30 | 57% | 70/122 | 32% | 427/1295 | |||||||||
module Monster | 100% | 2/2 | 100% | 2/2 | 31% | 19/60 | |||||||||
module Main | 100% | 7/7 | 18% | 4/22 | 21% | 100/474 | |||||||||
Program Coverage Total | 96% | 585/608 | 88% | 1212/1370 | 78% | 9509/12124 |