diff options
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 27a0bcd..12473d3 100644 --- a/modeling/prod_addition.py +++ b/modeling/prod_addition.py @@ -15,6 +15,7 @@ def addition(Model): arg2 =num2 ones_ans None ?retrieval> + buffer empty state free ==> =g> @@ -217,6 +218,7 @@ def addition(Model): ones_carry 1 ?retrieval> state free + buffer empty ==> =g> isa math_goal @@ -310,6 +312,7 @@ def addition(Model): hundreds1 =hun1 hundreds2 =hun2 ?retrieval> + buffer empty state free ==> =g> |