From 5321f82fb46a87ca372b10ba5729509871cc935a Mon Sep 17 00:00:00 2001 From: Yann Herklotz Date: Tue, 19 Jul 2022 08:53:57 +0200 Subject: Work on implementing abstract predicates --- test/Makefile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'test/Makefile') diff --git a/test/Makefile b/test/Makefile index 58a3c12..f037cea 100644 --- a/test/Makefile +++ b/test/Makefile @@ -1,6 +1,6 @@ CC ?= gcc VERICERT ?= vericert -VERICERT_OPTS ?= -fschedule -fif-conv +VERICERT_OPTS ?= -O0 -finline -fschedule -fif-conv -drtl -dgblseq -dgblpar IVERILOG ?= iverilog IVERILOG_OPTS ?= -- cgit