You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
The issue is that _v.t is used before its defined.
The problem is that t was defined in the postcondition context (let t:= Foo(0x0)) but was used in the precondition context (old(t.balanceOf())). Scribble usually rejects such code as invalid, but we added an exception for the case where the let-binding is set to a constant expression. However when I added that exception I forgot to fix the transpiling code to move the definition of the let-binding to the precondition context.
The text was updated successfully, but these errors were encountered:
Given the following sample:
Scribble will produce the following invalid code:
The issue is that
_v.t
is used before its defined.The problem is that
t
was defined in the postcondition context (let t:= Foo(0x0)
) but was used in the precondition context (old(t.balanceOf())
). Scribble usually rejects such code as invalid, but we added an exception for the case where the let-binding is set to a constant expression. However when I added that exception I forgot to fix the transpiling code to move the definition of the let-binding to the precondition context.The text was updated successfully, but these errors were encountered: