| module | Top Level Definitions | Alternatives | Expressions | ||||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| % | covered / total | % | covered / total | % | covered / total | ||||||||||
| module Defs | 100% | 5/5 | - | 0/0 | 100% | 5/5 | |||||||||
| module Tol_cal | 100% | 1/1 | 100% | 6/6 | 100% | 45/45 | |||||||||
| module Asb_routs | 100% | 7/7 | 100% | 2/2 | 70% | 52/74 | |||||||||
| module Min_degree | 80% | 4/5 | 50% | 11/22 | 68% | 137/200 | |||||||||
| module S_Array | 80% | 33/41 | 71% | 66/92 | 67% | 445/661 | |||||||||
| module Input_proc | 72% | 8/11 | 23% | 4/17 | 47% | 188/393 | |||||||||
| module Norm | 100% | 12/12 | 85% | 12/14 | 38% | 23/59 | |||||||||
| module Chl_method | 80% | 4/5 | 50% | 4/8 | 27% | 64/234 | |||||||||
| module Chl_routs | 100% | 2/2 | 0% | 0/12 | 19% | 117/588 | |||||||||
| module TG_iter | 50% | 1/2 | 50% | 3/6 | 14% | 41/274 | |||||||||
| module Jcb_method | 25% | 1/4 | 40% | 4/10 | 10% | 24/238 | |||||||||
| module Main | 100% | 2/2 | - | 0/0 | 9% | 5/51 | |||||||||
| module Chl_decomp | 40% | 2/5 | 0% | 0/14 | 5% | 13/238 | |||||||||
| module Rhs_Asb_routs | 100% | 3/3 | 0% | 0/2 | 3% | 9/271 | |||||||||
| module Elefac | 100% | 1/1 | - | 0/0 | 1% | 1/79 | |||||||||
| module L_matrix | 100% | 2/2 | - | 0/0 | 1% | 2/124 | |||||||||
| module C_matrix | 2% | 1/41 | - | 0/0 | 0% | 1/468 | |||||||||
| module S_matrix | 100% | 1/1 | - | 0/0 | 0% | 1/294 | |||||||||
| Program Coverage Total | 60% | 90/150 | 54% | 112/205 | 27% | 1173/4296 | |||||||||