fluencelabs/wasmer
1
0
Fork 0
mirror of https://github.com/fluencelabs/wasmer synced 2024-12-12 22:05:33 +00:00
Code Issues Projects Releases Wiki Activity

Update readme.

Browse Source
This commit is contained in:
Nick Lewycky 2019-08-02 16:48:34 -07:00
parent 546969a742
commit 59ef811b46
1 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
lib/spectests/spectests/README.md vendored
View File

@ -25,7 +25,7 @@ Currently supported command assertions:
- [x] `assert_malformed` _fully implemented_ - [x] `assert_malformed` _fully implemented_
- [ ] `assert_uninstantiable` _not implemented yet_ - [ ] `assert_uninstantiable` _not implemented yet_
- [ ] `assert_exhaustion` _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_ - [x] `perform_action` _partially implemented, only function invocations for now_
### Covered spec tests ### Covered spec tests
@ -86,6 +86,7 @@ The following spec tests are currently covered:
- [x] return.wast - [x] return.wast
- [x] select.wast - [x] select.wast
- [x] set_local.wast - [x] set_local.wast
- [x] simd.wast
- [ ] skip-stack-guard-page.wast - [ ] skip-stack-guard-page.wast
- [x] stack.wast - [x] stack.wast
- [x] start.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: 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` - `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: - `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: