diff options
Diffstat (limited to 'benchmarks/polybench-syn/script.R')
-rw-r--r-- | benchmarks/polybench-syn/script.R | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/benchmarks/polybench-syn/script.R b/benchmarks/polybench-syn/script.R index 9ee49ad..0be16da 100644 --- a/benchmarks/polybench-syn/script.R +++ b/benchmarks/polybench-syn/script.R @@ -21,3 +21,9 @@ print("Area overhead") print(geometric.mean(veriutil/leguputil)) print("Compilation time speedup") print(geometric.mean(legupct/verict)) +print("LegUp RAM use") +print(geometric.mean(data$legupregs)) +print("Vericert RAM use") +print(geometric.mean(data$vericertregs)) +print("Area overhead") +print(geometric.mean(data$vericertregs/data$legupregs)) |