From 4506e11d0fd1cd05a795203dc95a39f921c492b5 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Martin=20Povi=C5=A1er?= <povik@cutebit.org>
Date: Wed, 4 Oct 2023 23:29:40 +0200
Subject: [PATCH] booth: Extend test to catch bug from previous commit

---
 tests/techmap/booth.ys | 16 +++++++++++++++-
 1 file changed, 15 insertions(+), 1 deletion(-)

diff --git a/tests/techmap/booth.ys b/tests/techmap/booth.ys
index ab7efc7b7..55dfdb8e9 100644
--- a/tests/techmap/booth.ys
+++ b/tests/techmap/booth.ys
@@ -1 +1,15 @@
-test_cell -s 1694091355 -n 100 -script booth_map_script.ys_ $mul
+read_verilog <<EOF
+module test(clk, a, b, y);
+	input wire clk;
+	input wire [9:0] a;
+	input wire [6:0] b;
+	output wire [20:0] y;
+
+	assign y = a * b;
+endmodule
+EOF
+booth
+sat -verify -set a 0 -set b 0 -prove y 0
+design -reset
+
+test_cell -s 1694091355 -n 100 -script booth_map_script.ys_ $mul
\ No newline at end of file