From 3af823401ef8151dd298c73b10f7c03886c27e3d Mon Sep 17 00:00:00 2001 From: Niclas Dobbertin Date: Fri, 28 Jun 2024 13:01:54 +0200 Subject: fix higher multis --- modeling/prod_addition.py | 3 +++ 1 file changed, 3 insertions(+) (limited to 'modeling/prod_addition.py') diff --git a/modeling/prod_addition.py b/modeling/prod_addition.py index a56fc73..27a0bcd 100644 --- a/modeling/prod_addition.py +++ b/modeling/prod_addition.py @@ -250,6 +250,7 @@ def addition(Model): isa math_goal tens_ans =result ones_carry None + ~retrieval> """, ) prods.append(add_tens_carry_done) @@ -443,6 +444,8 @@ def addition(Model): =g> isa math_goal op done + ones_carry None + tens_carry None ~retrieval> """, ) -- cgit v1.2.3