From 39837503af990cac9353d1de4a5449138313653d Mon Sep 17 00:00:00 2001
From: Erwan Jahier <jahier@imag.fr>
Date: Mon, 21 Sep 2015 11:07:11 +0200
Subject: [PATCH] -2cw7: getstat now uses ggplot2 histograms.
---
utils/getstat.r | 28 +++++++++++++++++++++++-----
1 file changed, 23 insertions(+), 5 deletions(-)
diff --git a/utils/getstat.r b/utils/getstat.r
index 89ded179..b31e9aa3 100755
--- a/utils/getstat.r
+++ b/utils/getstat.r
@@ -1,14 +1,32 @@
#! /usr/bin/env Rscript
args <- commandArgs(TRUE)
-datafilename <- args[1]
-data <- read.table(datafilename)
-attach(data)
+datafilename <- args[1]
+wcet <- as.integer(args[2])
+
+mydata <- data.frame(val=read.table(datafilename))
+attach(mydata)
pdffilename = paste(datafilename,".pdf", sep ="")
pdf(pdffilename)
+# require "apt-get install r-cran-ggplot2"
+library(ggplot2)
+
+
+ggplot(data=mydata, aes(x=V1)) +
+ geom_histogram(fill="lightblue") +
+ geom_vline(aes(xintercept=vals),
+ xintercept=wcet,
+ linetype=2,
+ size=1,
+ color="red"
+ ) +
+ labs(x= "Cycles", y="Cycles counts")
+
+
+summary(mydata)
+
+print(sprintf("The WCET computed by otawa is %s", wcet))
-barplot(table(data))
-summary(data)
--
GitLab