Snake status
dvanhorn opened this issue · comments
David Van Horn commented
Get weird blam like this when verifying motion-split.rkt
and slither.rkt
:
'((blame Λ Λ (-- (clos (s-ref data snake 0) #hash())) λ (-- (clos (s-ref data snake 0) #hash()))) #hash())
'((blame Λ Λ (-- (clos (s-ref data snake 1) #hash())) λ (-- (clos (s-ref data snake 1) #hash()))) #hash())
'((blame Λ Λ (-- (clos (s-ref data world 0) #hash())) λ (-- (clos (s-ref data world 0) #hash()))) #hash())
'((blame Λ Λ (-- (clos (s-ref data world 1) #hash())) λ (-- (clos (s-ref data world 1) #hash()))) #hash())
Both motion-split.rkt
and slither.rkt
are slow to verify. The rest is fast.