diff --git a/evaluate.py b/evaluate.py index d2cd2d14d..575c9dbe6 100755 --- a/evaluate.py +++ b/evaluate.py @@ -304,7 +304,10 @@ def renderAggregatedResultsTable(type, configurations, instanceSetID, instanceSe if format == "html": print("" + ipcDomain[0] + "" + ipcDomain[1] + "") else: - print((ipcDomain[0][4:] if ipcDomain[0][0:4] == "ipc-" else ipcDomain[0]) + ("/" + ipcDomain[1] if ipcDomain[1] else ""), end = "") + if ipcDomain[1]: + print(ipcDomain[1] + " (" + (ipcDomain[0][4:] if ipcDomain[0][0:4] == "ipc-" else ipcDomain[0]) + ")", end = "") + else: + print((ipcDomain[0][4:] if ipcDomain[0][0:4] == "ipc-" else ipcDomain[0]), end = "") for configuration in sortedConfigurations: if not instanceSetID in configuration["instanceSets"]: