From 61bac592384fa478662b8e9974139561dc7925b9 Mon Sep 17 00:00:00 2001 From: Akash Levy Date: Thu, 7 Aug 2025 19:38:30 -0700 Subject: [PATCH] Update Verific to handle large memories better --- verific | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/verific b/verific index 77f2eb6e9..7b332206e 160000 --- a/verific +++ b/verific @@ -1 +1 @@ -Subproject commit 77f2eb6e931f9295cc7fd0ca165781e5f59cd22e +Subproject commit 7b332206e488631001fc5d244bf60550620702f6