Open alexdovzhanyn opened 5 years ago
After transforming a module from binary to our internal instruction format, we need to validate that a given module is valid, according to the validation logic specified in the Wasm Validation Section and other places in the spec
After transforming a module from binary to our internal instruction format, we need to validate that a given module is valid, according to the validation logic specified in the Wasm Validation Section and other places in the spec