diff --git a/fuzzers/FRET/benchmark/plot_sqlite.r b/fuzzers/FRET/benchmark/plot_sqlite.r index 67c3a16d9f..9ce5a3208b 100644 --- a/fuzzers/FRET/benchmark/plot_sqlite.r +++ b/fuzzers/FRET/benchmark/plot_sqlite.r @@ -1,3 +1,4 @@ +# install.packages(c("mosaic", "dplyr", "DBI", "tikzDevice", "colorspace", "heatmaply", "RColorBrewer", "RSQLite")) library("mosaic") library("dplyr") library("DBI") @@ -103,10 +104,13 @@ BREW=RdYlGn(4) draw_plot <- function(data, casename) { # evo, cov, random, fret - MY_COLORS <- c(BREW[[3]], BREW[[2]], BREW[[1]], BREW[[4]], "cyan", "pink", "gray", "orange", "black", "yellow","brown") + MY_COLORS <- c(BREW[[4]], BREW[[3]], BREW[[2]], BREW[[1]], "cyan", "pink", "gray", "orange", "black", "yellow","brown") # MY_COLORS <- c("orange", "blue", "red", "green", "orange", "cyan", "pink", "gray", "orange", "black", "yellow","brown") # MY_COLORS <- c("green", "blue", "red", "magenta", "orange", "cyan", "pink", "gray", "orange", "black", "yellow","brown") LEGEND_POS=LEG_POS[[casename]] + if (is.null(LEGEND_POS)) { + LEGEND_POS = "bottomright" + } ISNS_PER_US = (10**3)/(2**5) @@ -120,6 +124,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 + data <- data[!sapply(data, is.null)] # remove NULL entries + wcrt = KNOWN_WCRT[[casename]] if (!is.null(wcrt)) { wcrt = wcrt / ISNS_PER_US @@ -127,7 +134,7 @@ draw_plot <- function(data, casename) { wcrt = 0 } static_wcrt = STATIC_WCRT[[casename]] - if (!is.null(wcrt)) { + if (!is.null(static_wcrt)) { static_wcrt = static_wcrt / ISNS_PER_US } else { static_wcrt = 0