Testmodule is only available inside the
ligo run testcommand. See also Testing LIGO.
To set an dynamic entrypoint within a static entrypoint, just use
To get an dynamic entrypoint within a static entrypoint and call it just use
You can use
Dynamic_entrypoints.set_entrypoint_bytes to set an entrypoints to its bytes encoding directly. If your encoding is wrong, any call to
Dynamic_entrypoints.get will fail at run-time