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
ought to be equivalent (even at the triggering level) to this:
let lm = self.length_marshalling;
let ld = len_slice.i(data@);
lm.parsable_property(ld);
...and yet in this example, the second invocation is required to complete the proof. I can imagine why adding terms might hit a rich trigger pattern I otherwise missed, but the renaming is reducing terms. Mysterious (and unfriendly).
This line
ought to be equivalent (even at the triggering level) to this:
...and yet in this example, the second invocation is required to complete the proof. I can imagine why adding terms might hit a rich trigger pattern I otherwise missed, but the renaming is reducing terms. Mysterious (and unfriendly).
2024-01-19-13-19-55.zip
The text was updated successfully, but these errors were encountered: