From 3fe2cf32dde455f19227df329ce62f7da62e9f8a Mon Sep 17 00:00:00 2001 From: Akash Levy Date: Sun, 12 Apr 2026 15:59:31 -0700 Subject: [PATCH] Bump Verific for $test$plusargs --- verific | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/verific b/verific index 87cb8cf50..1d26e0604 160000 --- a/verific +++ b/verific @@ -1 +1 @@ -Subproject commit 87cb8cf50448c4d28a1b2d57bd4afc119b6439af +Subproject commit 1d26e06044a35203790f3c9a9b0fbf069b512228