edu.udel.cis.vsl.civl.semantics.common

ElementMissed InstructionsCov.Missed BranchesCov.MissedCxtyMissedLinesMissedMethodsMissedClasses
Total7,227 of 23,33269%774 of 1,90759%6041,3161,4064,52729268024
CommonSymbolicAnalyzer3,1463,57553%32930448%2314007141,52094901
CommonEvaluator1,7236,35679%19447571%1714762981,606710201
CommonExecutor7662,35675%7621474%6518212262232901
CommonMemoryUnitEvaluator73627527%982319%637616322731001
UFExtender26819542%221744%172851920301
QuantifiedExpressionEvaluator15988585%275065%25512621401101
CommonSymbolicAnalyzer.new Object() {...}10162786%n/a01050101
CommonEvaluator.new Object() {...}7949586%n/a01050101
CommonTransitionSet7862%50%616123451401
ErrorSideEffectFreeEvaluator11378%38%3117250701
Int2PointerCaster7470%675%374241301
CommonTransition7071%675%31432411001
UFExtender.new Object() {...}12387%n/a01020101
CommonMemoryUnitEvaluator.new Object() {...}11788%n/a01050101
CommonExecutor.new Object() {...}11388%n/a01040101
CommonLibraryExecutorLoader14592%62%375260301
Char2IntCaster81%75%141180201
Int2CharCaster9589%61062%6110240301
CommonTransitionIterator8691%675%2112210701
CommonLibraryEvaluatorLoader14096%62%373250301
QuantifiedExpressionEvaluator.new Object() {...}89%n/a01020101
Pointer2IntCaster6896%67%251180201
FunctionCallExecutor100%n/a02040201
NoopTransition100%n/a02030201