From 3bf05456c69a13493e3e7321f518cacf0ac09a93 Mon Sep 17 00:00:00 2001 From: Ayyaz Ahmed Date: Fri, 15 Nov 2024 14:31:55 +0500 Subject: [PATCH] Port latest Yosys-verific-rs --- yosys_verific_rs | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/yosys_verific_rs b/yosys_verific_rs index 2542810a..661ef618 160000 --- a/yosys_verific_rs +++ b/yosys_verific_rs @@ -1 +1 @@ -Subproject commit 2542810a3a4abc7dc2ce796374cc9004c0db9465 +Subproject commit 661ef618e653cae3c01c4ee30f98390c5e0c2825