ModelTranslator

ElementMissed InstructionsCov.Missed BranchesCov.MissedCxtyMissedLinesMissedMethods
Total90 of 72488%18 of 7074%194821175113
translate()406763%61062%6972701
buildModel(Program)174874%2250%2341301
addTransformations(FrontEnd, TranslationTask, Map)1513490%31179%3853901
getInputVariables()70%n/a112211
ModelTranslator(GMCConfiguration, GMCSection, String[], String, SymbolicUniverse)68493%2675%2522201
getMacros()54790%2675%2511101
buildProgram()111100%4100%0302301
inputVariablesOfProgram(Program)39100%1788%1501001
extractPaths(String)33100%4100%030801
coreName(String)29100%2250%230901
getSysIncludes(GMCSection)27100%n/a010701
ModelTranslator(GMCConfiguration, GMCSection, String[], String)8100%n/a010301
getUserIncludes(GMCSection)7100%n/a010101