SYS-OSS/FRET-LibAFL
4
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

update bounds

Browse Source
This commit is contained in:
Alwin Berger 2025-07-22 12:58:27 +00:00
parent 2dfb5f853d
commit f262c32f47
1 changed files with 28 additions and 27 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

55
fuzzers/FRET/benchmark/plot_sqlite.r
View File

@ -23,10 +23,10 @@ KNOWN_WCRT <- list(
#waters_seq_int=219542, # via INSERT_WC + manual interrupt #waters_seq_int=219542, # via INSERT_WC + manual interrupt
waters_seq_full=219542,# via INSERT_WC + manual interrupt waters_seq_full=219542,# via INSERT_WC + manual interrupt
waters_seq_unsync_full=234439,# via INSERT_WC + manual interrupt waters_seq_unsync_full=234439,# via INSERT_WC + manual interrupt
polycopter_seq_dataflow_full=343493, # via INSERT_WC + manual interrupt polycopter_seq_dataflow_full=174866, # via INSERT_WC + manual interrupt
polycopter_seq_dataflow_int=343493, # via INSERT_WC + manual interrupt polycopter_seq_dataflow_int=174866, # via INSERT_WC + manual interrupt
release_seq_int=614583, # via INSERT_WC + manual interrupt Bug: Task3 y=0 release_seq_int=582699, # via fuzzer, equals to manual interrupts; Bug: Task3 y=0
release_seq_full=614583 # via INSERT_WC + manual interrupt Bug: Task3 y=0 release_seq_full=614583 # via INSERT_WC + manual interrupt; Bug: Task3 y=0
) )
STATIC_WCRT <- list( STATIC_WCRT <- list(
@ -60,8 +60,8 @@ MIN_Y <- list(
waters_seq_int=5700, waters_seq_int=5700,
waters_seq_full=5250, waters_seq_full=5250,
waters_seq_unsync_full=0, waters_seq_unsync_full=0,
polycopter_seq_dataflow_full=4000, polycopter_seq_dataflow_full=0,
polycopter_seq_dataflow_int=4000, polycopter_seq_dataflow_int=0,
release_seq_int=16500, release_seq_int=16500,
release_seq_full=16500 release_seq_full=16500
) )
@ -210,27 +210,28 @@ for (cn in casenames[['casename']]) {
png(file=sprintf("%s/sql_%s.png", args[2],cn[[1]]), width=w_, height=h_) png(file=sprintf("%s/sql_%s.png", args[2],cn[[1]]), width=w_, height=h_)
draw_plot(table_list, cn[[1]]) draw_plot(table_list, cn[[1]])
dev.off() dev.off()
## wide # ## wide
png(file=sprintf("%s/sql_%s_wide.png", args[2],cn[[1]]), width=2*w_, height=h_) # png(file=sprintf("%s/sql_%s_wide.png", args[2],cn[[1]]), width=2*w_, height=h_)
draw_plot(table_list, cn[[1]]) # draw_plot(table_list, cn[[1]])
dev.off() # dev.off()
# tikz # # tikz
## normal # ## normal
tikz(file=sprintf("%s/sql_%s.tex", args[2],cn[[1]]), width=0.6*w_/72, height=0.6*h_/72) # tikz(file=sprintf("%s/sql_%s.tex", args[2],cn[[1]]), width=0.6*w_/72, height=0.6*h_/72)
draw_plot(table_list, cn[[1]]) # draw_plot(table_list, cn[[1]])
dev.off() # dev.off()
## wide # ## wide
tikz(file=sprintf("%s/sql_%s_wide.tex", args[2],cn[[1]]), width=(w_*2)/72, height=h_/72) # tikz(file=sprintf("%s/sql_%s_wide.tex", args[2],cn[[1]]), width=(w_*2)/72, height=h_/72)
draw_plot(table_list, cn[[1]]) # draw_plot(table_list, cn[[1]])
dev.off() # dev.off()
# pdf # # pdf
## normal # ## normal
pdf(file=sprintf("%s/sql_%s.pdf", args[2],cn[[1]]), width=w_/72, height=h_/72) # pdf(file=sprintf("%s/sql_%s.pdf", args[2],cn[[1]]), width=w_/72, height=h_/72)
draw_plot(table_list, cn[[1]]) # draw_plot(table_list, cn[[1]])
dev.off() # dev.off()
## wide # ## wide
pdf(file=sprintf("%s/sql_%s_wide.pdf", args[2],cn[[1]]), width=2*w_/72, height=h_/72) # pdf(file=sprintf("%s/sql_%s_wide.pdf", args[2],cn[[1]]), width=2*w_/72, height=h_/72)
draw_plot(table_list, cn[[1]]) # draw_plot(table_list, cn[[1]])
# dev.off()
} }
dbDisconnect(con) dbDisconnect(con)