diff options
| author | Niclas Dobbertin <niclas.dobbertin@mailbox.org> | 2024-06-28 13:01:54 +0200 |
|---|---|---|
| committer | Niclas Dobbertin <niclas.dobbertin@mailbox.org> | 2024-06-28 13:01:54 +0200 |
| commit | 3af823401ef8151dd298c73b10f7c03886c27e3d (patch) | |
| tree | 7b33f94638bbbdad642e04cf433271a433c74fd9 /modeling/prod_addition.py | |
| parent | 6a0b7dad008cb8a9e48ade0dceb49082e1349c30 (diff) | |
fix higher multis
Diffstat (limited to 'modeling/prod_addition.py')
| -rw-r--r-- | modeling/prod_addition.py | 3 |
1 files changed, 3 insertions, 0 deletions
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> """, ) |