Overall Coverage Summary

Package Class, % Method, % Branch, % Line, % Instruction, %
all classes 92.3% (72/78) 87.2% (136/156) 83.6% (122/146) 89.7% (348/388) 90.9% (3542/3895)

Coverage Breakdown

Package Class, % Method, % Branch, % Line, % Instruction, %
itmo.verifier.visitor 100% (1/1) 100% (4/4) 100% (4/4) 100% (5/5) 100% (62/62)
itmo.verifier.formula 87% (20/23) 90% (72/80) 82.1% (69/84) 95.1% (156/164) 96.2% (2314/2405)
itmo.verifier 92.9% (39/42) 87.2% (41/47) 25% (2/8) 71.1% (59/83) 50% (245/490)
itmo.verifier.model 100% (12/12) 76% (19/25) 94% (47/50) 94.1% (128/136) 98.2% (921/938)