| TranslationTask(File[][]) |  | 0% | | 0% | 2 | 2 | 24 | 24 | 1 | 1 |
| addTransformCode(String) |  | 64% | | 50% | 1 | 2 | 1 | 5 | 0 | 1 |
| addTransformRecord(TransformRecord) | | 0% | | n/a | 1 | 1 | 2 | 2 | 1 | 1 |
| setOut(PrintStream) | | 0% | | n/a | 1 | 1 | 2 | 2 | 1 | 1 |
| setPreprocTokens(boolean) | | 0% | | n/a | 1 | 1 | 2 | 2 | 1 | 1 |
| setShowTables(boolean) | | 0% | | n/a | 1 | 1 | 2 | 2 | 1 | 1 |
| setShowTime(boolean) | | 0% | | n/a | 1 | 1 | 2 | 2 | 1 | 1 |
| setShowDiff(boolean) | | 0% | | n/a | 1 | 1 | 2 | 2 | 1 | 1 |
| setSummarize(boolean) | | 0% | | n/a | 1 | 1 | 2 | 2 | 1 | 1 |
| setGNUC(boolean) | | 0% | | n/a | 1 | 1 | 2 | 2 | 1 | 1 |
| setDynamicTask(DynamicTask) | | 0% | | n/a | 1 | 1 | 2 | 2 | 1 | 1 |
| setVerbose(boolean) | | 70% | | 50% | 1 | 2 | 1 | 4 | 0 | 1 |
| getPreprocTokens() | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| getPrettyPrint() | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| TranslationTask(File[]) | | 100% | | 100% | 0 | 2 | 0 | 24 | 0 | 1 |
| TranslationTask(File) | | 100% | | n/a | 0 | 1 | 0 | 22 | 0 | 1 |
| TranslationTask(UnitTask[]) | | 100% | | n/a | 0 | 1 | 0 | 21 | 0 | 1 |
| addAllTransformCodes(Collection) | | 100% | | 100% | 0 | 2 | 0 | 3 | 0 | 1 |
| setSilent(boolean) | | 100% | | 50% | 1 | 2 | 0 | 4 | 0 | 1 |
| setSVCOMP(boolean) | | 100% | | 50% | 1 | 2 | 0 | 4 | 0 | 1 |
| initialize() | | 100% | | n/a | 0 | 1 | 0 | 2 | 0 | 1 |
| getUnitLanguages() | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| setStage(TranslationTask.TranslationStage) | | 100% | | n/a | 0 | 1 | 0 | 2 | 0 | 1 |
| setPrettyPrint(boolean) | | 100% | | n/a | 0 | 1 | 0 | 2 | 0 | 1 |
| setShowUndefinedFunctions(boolean) | | 100% | | n/a | 0 | 1 | 0 | 2 | 0 | 1 |
| setLinkLanguage(Configurations.Language) | | 100% | | n/a | 0 | 1 | 0 | 2 | 0 | 1 |
| setArchitecture(Configuration.Architecture) | | 100% | | n/a | 0 | 1 | 0 | 2 | 0 | 1 |
| getUnitTasks() | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| getStage() | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| getOut() | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| getVerbose() | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| getTransformRecords() | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| getShowTables() | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| getShowTime() | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| getShowDiff() | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| isSilent() | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| getShowUndefinedFunctions() | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| getLinkLanguage() | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| getSVCOMP() | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| getSummarize() | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| getArchitecture() | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| getGNUC() | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |
| getDynamicTask() | | 100% | | n/a | 0 | 1 | 0 | 1 | 0 | 1 |