We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
Write a simulation for the FunctionContext type and its dependencies in https://github.com/move-language/move-sui/blob/main/crates/move-bytecode-verifier/src/type_safety.rs
FunctionContext
For the simulations, we will not write the ToValue and ToTy functions for now.
ToValue
ToTy
There are many dependencies for this type, including in files that are elsewhere.
The text was updated successfully, but these errors were encountered:
type_safety
InfiniteEchoes
No branches or pull requests
Write a simulation for the
FunctionContext
type and its dependencies in https://github.com/move-language/move-sui/blob/main/crates/move-bytecode-verifier/src/type_safety.rsFor the simulations, we will not write the
ToValue
andToTy
functions for now.There are many dependencies for this type, including in files that are elsewhere.
The text was updated successfully, but these errors were encountered: