From 1c91db6b6d4cd20994fdfc40283b003c1ec93d50 Mon Sep 17 00:00:00 2001 From: Yann Herklotz Date: Thu, 9 Dec 2021 20:02:36 +0000 Subject: Update benchmark runs --- benchmarks/polybench-syn/common.mk | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'benchmarks/polybench-syn') diff --git a/benchmarks/polybench-syn/common.mk b/benchmarks/polybench-syn/common.mk index 85d62f6..8e67294 100644 --- a/benchmarks/polybench-syn/common.mk +++ b/benchmarks/polybench-syn/common.mk @@ -1,5 +1,5 @@ VERICERT ?= vericert -VERICERT_OPTS ?= -DSYNTHESIS -O0 -finline -fschedule -fif-conv +VERICERT_OPTS ?= -DSYNTHESIS -fschedule -fif-conv IVERILOG ?= iverilog IVERILOG_OPTS ?= -- cgit