From a2876b6a95b212e83ea2a2ae5679fb7bd12a1952 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Jean-Fran=C3=A7ois=20Nguyen?= Date: Mon, 19 Sep 2022 17:17:48 +0200 Subject: [PATCH] cores/microwatt: temporarily disable the liveness check. --- cores/microwatt/checks.pfv | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/cores/microwatt/checks.pfv b/cores/microwatt/checks.pfv index 28eb772..5c6969a 100644 --- a/cores/microwatt/checks.pfv +++ b/cores/microwatt/checks.pfv @@ -2,7 +2,7 @@ check unique --depth=15 --skip=12 check cia --depth=15 check gpr --depth=15 check causal --depth=15 -check liveness --depth=20 --skip=12 --bus-fairness +#check liveness --depth=20 --skip=12 --bus-fairness check insn --depth=17 --exclude=brh,brw,setbc,setbcr,setnbc,setnbcr check microwatt:storage:insn --depth=20