From a48054a1e6a3c06dfa6f929455a1887e51b3e2cb Mon Sep 17 00:00:00 2001
From: Akash Levy <akash@silimate.com>
Date: Wed, 16 Oct 2024 23:39:55 -0700
Subject: [PATCH] Induce segfault to get stack trace

---
 verific | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/verific b/verific
index 6c4245752..6b6ffb310 160000
--- a/verific
+++ b/verific
@@ -1 +1 @@
-Subproject commit 6c424575286e66b434fab12663a627653e2c265e
+Subproject commit 6b6ffb3104e36fdad6cb353c53469ba6b48c6ab9