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

ElementMissed InstructionsCov.Missed BranchesCov.MissedCxtyMissedLinesMissedMethodsMissedClasses
Total8,169 of 23,67765%841 of 1,93056%6621,3361,6034,59445274024
CommonSymbolicAnalyzer3,4363,25549%34828345%2483997881,516114901
CommonEvaluator1,9766,28976%21746168%1924863431,6301310501
CommonExecutor7712,30675%7820472%6817912361153001
CommonMemoryUnitEvaluator73427527%972420%627616322731001
QuantifiedExpressionEvaluator50675360%505150%39659927231301
UFExtender26819542%221744%172851920301
CommonSymbolicAnalyzer.new Object() {...}10162786%n/a01050101
CommonEvaluator.new Object() {...}8352386%n/a01060101
ErrorSideEffectFreeEvaluator7846%625%71113253701
CommonTransitionSet7862%50%616123451401
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
Pointer2IntCaster96%67%251180201
QuantifiedExpressionEvaluator.new Object() {...}88%n/a01010101
FunctionCallExecutor100%n/a02040201
NoopTransition100%n/a02030201