Package: org.overture.interpreter.solver

Coverage Summary

nameinstructionbranchcomplexitylinemethodclass
org.overture.interpreter.solver
M: 33 C: 3
8%
M: 2 C: 0
0%
M: 2 C: 1
33%
M: 5 C: 2
29%
M: 1 C: 1
50%
M: 0 C: 1
100%

Coverage Breakdown by Source File

nameinstructionbranchcomplexitylinemethodclass
IConstraintSolver
M: 0 C: 0
100%
M: 0 C: 0
100%
M: 0 C: 0
100%
M: 0 C: 0
100%
M: 0 C: 0
100%
M: 0 C: 0
100%
SolverFactory
M: 33 C: 3
8%
M: 2 C: 0
0%
M: 2 C: 1
33%
M: 5 C: 2
29%
M: 1 C: 1
50%
M: 0 C: 1
100%