This repository was archived by the owner on Nov 3, 2021. It is now read-only.
This repository was archived by the owner on Nov 3, 2021. It is now read-only.
[spec] valid limit ok seems not well-defined #29
Description
In the https://webassembly.github.io/multi-value/core/appendix/properties.html#table-instances to validate tableinst, it use the rule
\vdash limit ok
which seems to be undefined.
The vdash is linked to https://webassembly.github.io/multi-value/core/valid/types.html#valid-limits which is validated respect to some k.
The closest one is the https://webassembly.github.io/multi-value/core/valid/types.html#memory-types which conclude \vdash limit ok from \vdash limit : 2^16