From 6b70b3dbefea7972c44e312c356bf7377a7d5f7b Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Martin=20Povi=C5=A1er?= <povik@cutebit.org>
Date: Thu, 28 Sep 2023 11:50:57 +0200
Subject: [PATCH] booth: Fix assertion

Fix assertion to what it should be per Andy's comments.
---
 passes/techmap/booth.cc | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

diff --git a/passes/techmap/booth.cc b/passes/techmap/booth.cc
index be38c8fc3..000dcff14 100644
--- a/passes/techmap/booth.cc
+++ b/passes/techmap/booth.cc
@@ -655,8 +655,7 @@ struct BoothPassWorker {
 		cpa_id++;
 
 		log_assert(c_vec.size() == s_vec.size());
-		// TODO: doesn't pass
-		//log_assert(result.size() == s_vec.size() + 2);
+		log_assert(result.size() == s_vec.size());
 
 		SigBit carry;
 		for (int n = 0; n < s_vec.size(); n++) {