diff options
| author | Abbas Mashayekh <martianboy2005@gmail.com> | 2021-04-21 02:58:11 +0430 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-04-20 15:28:11 -0700 |
| commit | 1afe9d4374f6920981be132e1538f63b8f053c02 (patch) | |
| tree | 38cd23ee5153b75e982573e0f0df0e00087760a9 /scripts/test/shared.py | |
| parent | 82323064aebfdac2b5b3672faf999cc3b5471fe1 (diff) | |
| download | binaryen-1afe9d4374f6920981be132e1538f63b8f053c02.tar.gz binaryen-1afe9d4374f6920981be132e1538f63b8f053c02.tar.bz2 binaryen-1afe9d4374f6920981be132e1538f63b8f053c02.zip | |
Run spec test all at once after binary transform (#3817)
#3792 added support for module linking and (register command to
wasm-shell, but forgot about three problems:
- Splitting spec tests prevents linking test modules together.
- Registered modules may still be used in assertions or an invoke
- Modules may re-export imported objects
This PR appends transformed modules after binary checks to a spec.wast
file, plus assertion tests and register commands. Then runs wasm-shell
on the whole file. It also keeps both the module name and its registered
name available in wasm-shell for use in shell commands and linked
modules. Furthermore, it correctly finds the module where an object is
defined even if it is imported and re-exported several times.
The updated version of imports.wast spec test is enabled to verify the
fixes.
Diffstat (limited to 'scripts/test/shared.py')
| -rw-r--r-- | scripts/test/shared.py | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/scripts/test/shared.py b/scripts/test/shared.py index 54c7c861d..d3af99455 100644 --- a/scripts/test/shared.py +++ b/scripts/test/shared.py @@ -424,7 +424,6 @@ SPEC_TESTS_TO_SKIP = [ 'utf8-invalid-encoding.wast', # 'register' command - 'imports.wast', 'linking.wast', # Misc. unsupported constructs |