summaryrefslogtreecommitdiff
path: root/modeling/prod_addition.py
diff options
context:
space:
mode:
authorNiclas Dobbertin <niclas.dobbertin@mailbox.org>2024-09-01 17:29:19 +0200
committerNiclas Dobbertin <niclas.dobbertin@mailbox.org>2024-09-01 17:29:19 +0200
commit7c1d45b574de33dafcd93b251fc089acff313292 (patch)
tree9817f1faab381cd71c3c7ad26086851577ae6fde /modeling/prod_addition.py
parent60df194c8b72c9d47d1bc490b4c4c296ac234e8e (diff)
fix retrieval checks
Diffstat (limited to 'modeling/prod_addition.py')
-rw-r--r--modeling/prod_addition.py3
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>