From b8f389370b0fb3ecb520a9a02d0cda744315aea5 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Martin=20Povi=C5=A1er?= <povik@cutebit.org>
Date: Sat, 5 Oct 2024 18:05:44 +0200
Subject: [PATCH] aiger2: Convert x-states to zeroes

---
 backends/aiger2/aiger.cc | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/backends/aiger2/aiger.cc b/backends/aiger2/aiger.cc
index b6994c221..97b506178 100644
--- a/backends/aiger2/aiger.cc
+++ b/backends/aiger2/aiger.cc
@@ -549,6 +549,8 @@ struct Index {
 				return CTRUE;
 			else if (bit == State::S0)
 				return CFALSE;
+			else if (bit == State::Sx)
+				return CFALSE;
 			else
 				log_error("Unhandled state %s\n", log_signal(bit));
 		}