From f262c32f47ed2d913b2804379a4b6b6f7c3a4a98 Mon Sep 17 00:00:00 2001
From: Alwin Berger <alwin.berger@tu-dortmund.de>
Date: Tue, 22 Jul 2025 12:58:27 +0000
Subject: [PATCH] update bounds

---
 fuzzers/FRET/benchmark/plot_sqlite.r | 55 ++++++++++++++--------------
 1 file changed, 28 insertions(+), 27 deletions(-)

diff --git a/fuzzers/FRET/benchmark/plot_sqlite.r b/fuzzers/FRET/benchmark/plot_sqlite.r
index f883069a13..83bacf33f2 100644
--- a/fuzzers/FRET/benchmark/plot_sqlite.r
+++ b/fuzzers/FRET/benchmark/plot_sqlite.r
@@ -23,10 +23,10 @@ KNOWN_WCRT <- list(
   #waters_seq_int=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
-  polycopter_seq_dataflow_full=343493, # via INSERT_WC + manual interrupt
-  polycopter_seq_dataflow_int=343493, # via INSERT_WC + manual interrupt
-  release_seq_int=614583, # via INSERT_WC + manual interrupt Bug: Task3 y=0
-  release_seq_full=614583 # via INSERT_WC + manual interrupt Bug: Task3 y=0
+  polycopter_seq_dataflow_full=174866, # via INSERT_WC + manual interrupt
+  polycopter_seq_dataflow_int=174866, # via INSERT_WC + manual interrupt
+  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
   )
 
 STATIC_WCRT <- list(
@@ -60,8 +60,8 @@ MIN_Y <- list(
   waters_seq_int=5700,
   waters_seq_full=5250,
   waters_seq_unsync_full=0,
-  polycopter_seq_dataflow_full=4000,
-  polycopter_seq_dataflow_int=4000,
+  polycopter_seq_dataflow_full=0,
+  polycopter_seq_dataflow_int=0,
   release_seq_int=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_)
   draw_plot(table_list, cn[[1]])
   dev.off()
-  ## wide
-  png(file=sprintf("%s/sql_%s_wide.png", args[2],cn[[1]]), width=2*w_, height=h_)
-  draw_plot(table_list, cn[[1]])
-  dev.off()
-  # tikz
-  ## normal
-  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]])
-  dev.off()
-  ## wide
-  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]])
-  dev.off()
-  # pdf
-  ## normal
-  pdf(file=sprintf("%s/sql_%s.pdf", args[2],cn[[1]]), width=w_/72, height=h_/72)
-  draw_plot(table_list, cn[[1]])
-  dev.off()
-  ## wide
-  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]])
+  # ## wide
+  # png(file=sprintf("%s/sql_%s_wide.png", args[2],cn[[1]]), width=2*w_, height=h_)
+  # draw_plot(table_list, cn[[1]])
+  # dev.off()
+  # # tikz
+  # ## normal
+  # 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]])
+  # dev.off()
+  # ## wide
+  # 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]])
+  # dev.off()
+  # # pdf
+  # ## normal
+  # pdf(file=sprintf("%s/sql_%s.pdf", args[2],cn[[1]]), width=w_/72, height=h_/72)
+  # draw_plot(table_list, cn[[1]])
+  # dev.off()
+  # ## wide
+  # 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]])
+  # dev.off()
 }
 
 dbDisconnect(con)