From 9239f9c73ed684a1a1705bc34c2533971c5050ee Mon Sep 17 00:00:00 2001 From: Alwin Berger Date: Mon, 22 Sep 2025 08:19:58 +0000 Subject: [PATCH] fix missing names in plots --- fuzzers/FRET/benchmark/scripts/plot_sqlite.r | 6 ++++-- 1 file changed, 4 insertions(+), 2 deletions(-) diff --git a/fuzzers/FRET/benchmark/scripts/plot_sqlite.r b/fuzzers/FRET/benchmark/scripts/plot_sqlite.r index 897adb0630..98c990029f 100755 --- a/fuzzers/FRET/benchmark/scripts/plot_sqlite.r +++ b/fuzzers/FRET/benchmark/scripts/plot_sqlite.r @@ -129,7 +129,9 @@ draw_plot <- function(data, casename) { data[[n]]$sdiv <- data[[n]]$sdiv / ISNS_PER_US } - data <- data[c('stgwoet', 'feedgeneration100', 'frafl', 'random')] # manual re-order + order <- c('stgwoet', 'feedgeneration100', 'frafl', 'random') + order <- c(order[order %in% names(data)], setdiff(names(data), order)) # append any missing names + data <- data[order] # manual re-order data <- data[!sapply(data, is.null)] # remove NULL entries wcrt = KNOWN_WCRT[[casename]] @@ -172,7 +174,7 @@ draw_plot <- function(data, casename) { # lines(milines, col=MY_COLORS[[n]], lty='dashed', lwd=2) # Increase line width } - legend_names <- sapply(names(data), function(n) TOOL_TRANSLATION[[n]]) + legend_names <- sapply(names(data), function(n) if (is.null(TOOL_TRANSLATION[[n]])) {n} else {TOOL_TRANSLATION[[n]]}) legend_colors <- c(MY_COLORS[1:length(data)],"grey","grey") legend_styles <- c(rep("solid",length(data)),"dotted","dashed")