From d6c7aa0e3d9e64827a8305610bedcc9a9df88a49 Mon Sep 17 00:00:00 2001
From: Jannis Harder <me@jix.one>
Date: Wed, 11 Jan 2023 17:52:25 +0100
Subject: sim/formalff: Clock handling for yw cosim

---
 kernel/yw.h | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'kernel/yw.h')

diff --git a/kernel/yw.h b/kernel/yw.h
index 503319b1d..c2f5921b1 100644
--- a/kernel/yw.h
+++ b/kernel/yw.h
@@ -69,8 +69,8 @@ struct ReadWitness
 	struct Clock {
 		IdPath path;
 		int offset;
-		bool is_posedge;
-		bool is_negedge;
+		bool is_posedge = false;
+		bool is_negedge = false;
 	};
 
 	struct Signal {
-- 
cgit v1.2.3