| module | Top Level Definitions | Alternatives | Expressions | ||||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| % | covered / total | % | covered / total | % | covered / total | ||||||||||
| module ChargeDensity | 100% | 2/2 | 100% | 2/2 | 100% | 92/92 | |||||||||
| module Consts | 100% | 5/5 | - | 0/0 | 100% | 8/8 | |||||||||
| module ElecField | 100% | 1/1 | - | 0/0 | 90% | 99/110 | |||||||||
| module Pic | 100% | 4/4 | 100% | 2/2 | 98% | 125/127 | |||||||||
| module PushParticle | 100% | 1/1 | 70% | 7/10 | 92% | 154/167 | |||||||||
| module Utils | 100% | 6/6 | 100% | 2/2 | 85% | 412/483 | |||||||||
| module Potential | 66% | 4/6 | 100% | 4/4 | 53% | 107/200 | |||||||||
| module PicType | - | 0/0 | - | 0/0 | - | 0/0 | |||||||||
| Program Coverage Total | 92% | 23/25 | 85% | 17/20 | 83% | 997/1187 | |||||||||