Dynamics

ElementMissed InstructionsCov.Missed BranchesCov.MissedCxtyMissedLinesMissedMethods
Total3 of 1173%0 of 0n/a121212
Dynamics()30%n/a111111
newDynamicFactory(ModelFactoryIF, SymbolicSimplifierFactoryIF, TheoremProverIF, RunConfiguration)8100%n/a010101