| module | Top Level Definitions | Alternatives | Expressions | ||||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| % | covered / total | % | covered / total | % | covered / total | ||||||||||
| module Fourier | 70% | 14/20 | 28% | 2/7 | 35% | 94/264 | |||||||||
| module Complex_Vectors | 100% | 4/4 | - | 0/0 | 100% | 43/43 | |||||||||
| Program Coverage Total | 75% | 18/24 | 28% | 2/7 | 44% | 137/307 | |||||||||