Jason Eckhardt
Jason Eckhardt
Additionally, the Move language allows an `entry` modifier on module functions. This permits those functions to be invoked in the same way as scripts-- as a "main" function where Move...
PR #251 implements this for Move entry points.
> Is #182 a duplicate of this ticket? 182 deals with Move "entry" functions, while the original theme of this issue refers to the script main function. As an aside:...
> ah, maybe we can close the rest then? Yes.
> I think it does, although I didn't make changes rbpf-tests that would use the code returned by entrypoint. Incidentally, I'm inclined to move away from rbpf-tests towards more testing...
> I think these checks will be in addition to what we'll get by enabling MoveVM checks at runtime. Would you elaborate on specifically where you differ from the checks...
It is also worth noting that the Move Language provides a fairly sophisticated "specification" sub-language for expressing all sorts of invariant and condition checks ("pre- and post-conditions") in Move programs....
> I'd like to assign this issue to myself, unless someone is already making progress on this. Please do :+1:
This is part of #161.
> Many Move smart contracts are parameterized by the type of an asset they're handling, e.g. Coin, where Coin can be any particular token type. That is to say, generic...