From 80b50f136dde450f21d48ac34da9e1002742860b Mon Sep 17 00:00:00 2001 From: Akash Levy Date: Tue, 2 Jul 2024 19:02:58 -0700 Subject: [PATCH] Debug on --- Makefile | 4 ++-- verific | 2 +- 2 files changed, 3 insertions(+), 3 deletions(-) diff --git a/Makefile b/Makefile index 4f2bb512a..697d2eec0 100644 --- a/Makefile +++ b/Makefile @@ -32,8 +32,8 @@ ENABLE_PYOSYS := 1 # other configuration flags ENABLE_GCOV := 0 ENABLE_GPROF := 0 -ENABLE_DEBUG := 0 -ENABLE_NDEBUG := 1 +ENABLE_DEBUG := 1 +ENABLE_NDEBUG := 0 ENABLE_CCACHE := 0 # sccache is not always a drop-in replacement for ccache in practice ENABLE_SCCACHE := 0 diff --git a/verific b/verific index d4f910a07..c75cd7aa1 160000 --- a/verific +++ b/verific @@ -1 +1 @@ -Subproject commit d4f910a07502427a27c2d0d3c3d71a1655eff52a +Subproject commit c75cd7aa1804ab553c26062dc37bec7108b83240