From e24243e8d0abb0af5d8e4d3da2e5c47ff43adcf7 Mon Sep 17 00:00:00 2001
From: Dhaval Chaudhari <dhavalchaudhari39@gmail.com>
Date: Sun, 4 Jan 2026 01:31:17 +0530
Subject: [PATCH] set 1

---
 frontends/verific/verific.cc | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/frontends/verific/verific.cc b/frontends/verific/verific.cc
index 4c61c9ac0..16e150bd2 100644
--- a/frontends/verific/verific.cc
+++ b/frontends/verific/verific.cc
@@ -3689,7 +3689,7 @@ struct VerificPass : public Pass {
 				continue;
 			}
 			if (args[argidx] == "-set_relaxed_checking") {
-				VeriNode::SetRelaxedChecking(0);
+				VeriNode::SetRelaxedChecking(1);
 				continue;
 			}
 #endif