diff options
author | Sam Clegg <sbc@chromium.org> | 2016-11-18 16:20:14 -0800 |
---|---|---|
committer | GitHub <noreply@github.com> | 2016-11-18 16:20:14 -0800 |
commit | 3382c7f9835fef7a3effa81d97d79bb48269ea0f (patch) | |
tree | 2a10396cc476904a8bb2d6c0d994ca46a96c911d /test/gen-wasm.py | |
parent | efc81f5be6ce999c46681d46dd169a845ad670a7 (diff) | |
download | wabt-3382c7f9835fef7a3effa81d97d79bb48269ea0f.tar.gz wabt-3382c7f9835fef7a3effa81d97d79bb48269ea0f.tar.bz2 wabt-3382c7f9835fef7a3effa81d97d79bb48269ea0f.zip |
Parse arbitrary user sections (#220)
Handle user sections interspersed with other section
types and add tests for these.
Switch from calling these sections "Unknown" to
"User".
Diffstat (limited to 'test/gen-wasm.py')
-rwxr-xr-x | test/gen-wasm.py | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/test/gen-wasm.py b/test/gen-wasm.py index 4e53ac52..829845ca 100755 --- a/test/gen-wasm.py +++ b/test/gen-wasm.py @@ -50,7 +50,7 @@ NAMED_VALUES = { 'version': (0xd, 0, 0, 0), # section codes - 'UNKNOWN': 0, + 'USER': 0, 'TYPE': 1, 'IMPORT': 2, 'FUNCTION': 3, @@ -401,7 +401,7 @@ def p_data_user_section(p): p[0] = p[1] name = p[4] section_data = p[7] - p[0].append(0) # 0 is the section code for "unknown" + p[0].append(0) # 0 is the section code for "user" section_name_data = [] WriteLebU32(section_name_data, len(name)) WriteString(section_name_data, name) |