diff --git a/lib/spectests/spectests/README.md b/lib/spectests/spectests/README.md index 333d80e31..b49f31eac 100644 --- a/lib/spectests/spectests/README.md +++ b/lib/spectests/spectests/README.md @@ -25,7 +25,7 @@ Currently supported command assertions: - [x] `assert_malformed` _fully implemented_ - [ ] `assert_uninstantiable` _not implemented yet_ - [ ] `assert_exhaustion` _not implemented yet_ -- [ ] `register` _not implemented yet_ +- [x] `register` _fully implemented_ - [x] `perform_action` _partially implemented, only function invocations for now_ ### Covered spec tests @@ -86,6 +86,7 @@ The following spec tests are currently covered: - [x] return.wast - [x] select.wast - [x] set_local.wast +- [x] simd.wast - [ ] skip-stack-guard-page.wast - [x] stack.wast - [x] start.wast @@ -108,7 +109,6 @@ The following spec tests are currently covered: There are some cases that we decided to skip for now to accelerate the release schedule: -- `SKIP_MUTABLE_GLOBALS`: Right now the Wasm parser can't validate a module with imported/exported `mut` globals. We decided to skip the tests until Cranelift and wasmparser can handle this (see [original spec proposal](https://github.com/WebAssembly/mutable-global)). Spec tests affected: - `globals.wast` - `SKIP_CALL_INDIRECT_TYPE_MISMATCH`: we implemented traps in a fast way. We haven't yet covered the type mismatch on `call_indirect`. Specs affected: