Skip to content

spec

Directory actions

More options

Directory actions

More options

Latest commit

 

History

History
 
 

spec

Folders and files

NameName
Last commit message
Last commit date

parent directory

..
expected-output
expected-output
 
 
stack-switching
stack-switching
 
 
testsuite @ 4b24564
testsuite @ 4b24564
 
 
threads
threads
 
 
Contributing.md
Contributing.md
 
 
LICENSE
LICENSE
 
 
README.md
README.md
 
 
address-offset-range.fail.wast
address-offset-range.fail.wast
 
 
array-multibyte.wast
array-multibyte.wast
 
 
array-new-data.wast
array-new-data.wast
 
 
array-new-elem.wast
array-new-elem.wast
 
 
array.wast
array.wast
 
 
atomics.wast
atomics.wast
 
 
binary.wast
binary.wast
 
 
br_if.wast
br_if.wast
 
 
br_on_cast_desc_eq.wast
br_on_cast_desc_eq.wast
 
 
break-drop.wast
break-drop.wast
 
 
bulk-array.wast
bulk-array.wast
 
 
bulk-memory.wast
bulk-memory.wast
 
 
bulk-memory64.wast
bulk-memory64.wast
 
 
call_indirect_cross_module.wast
call_indirect_cross_module.wast
 
 
call_indirect_refnull.wast
call_indirect_refnull.wast
 
 
call_indirect_sig_mismatch.wast
call_indirect_sig_mismatch.wast
 
 
call_ref_linked.wast
call_ref_linked.wast
 
 
comments.wast
comments.wast
 
 
const.wast
const.wast
 
 
cont-validation.wast
cont-validation.wast
 
 
convert_extern.wast
convert_extern.wast
 
 
data.wast
data.wast
 
 
descriptors.wast
descriptors.wast
 
 
dot_product.wast
dot_product.wast
 
 
elem.wast
elem.wast
 
 
elem_reftypes.wast
elem_reftypes.wast
 
 
exact-func-import.wast
exact-func-import.wast
 
 
exception-handling-legacy.wast
exception-handling-legacy.wast
 
 
exception-handling.wast
exception-handling.wast
 
 
f16.wast
f16.wast
 
 
f32.load32.fail.wast
f32.load32.fail.wast
 
 
f32.load64.fail.wast
f32.load64.fail.wast
 
 
f32.store32.fail.wast
f32.store32.fail.wast
 
 
f32.store64.fail.wast
f32.store64.fail.wast
 
 
f64.load32.fail.wast
f64.load32.fail.wast
 
 
f64.load64.fail.wast
f64.load64.fail.wast
 
 
f64.store32.fail.wast
f64.store32.fail.wast
 
 
f64.store64.fail.wast
f64.store64.fail.wast
 
 
func-local-after-body.fail.wast
func-local-after-body.fail.wast
 
 
func-local-before-param.fail.wast
func-local-before-param.fail.wast
 
 
func-local-before-result.fail.wast
func-local-before-result.fail.wast
 
 
func-param-after-body.fail.wast
func-param-after-body.fail.wast
 
 
func-result-after-body.fail.wast
func-result-after-body.fail.wast
 
 
func-result-before-param.fail.wast
func-result-before-param.fail.wast
 
 
func.wast
func.wast
 
 
get_local.wast
get_local.wast
 
 
globals.wast
globals.wast
 
 
i32.load32_s.fail.wast
i32.load32_s.fail.wast
 
 
i32.load32_u.fail.wast
i32.load32_u.fail.wast
 
 
i32.load64_s.fail.wast
i32.load64_s.fail.wast
 
 
i32.load64_u.fail.wast
i32.load64_u.fail.wast
 
 
i32.store32.fail.wast
i32.store32.fail.wast
 
 
i32.store64.fail.wast
i32.store64.fail.wast
 
 
i64.load64_s.fail.wast
i64.load64_s.fail.wast
 
 
i64.load64_u.fail.wast
i64.load64_u.fail.wast
 
 
i64.store64.fail.wast
i64.store64.fail.wast
 
 
if.wast
if.wast
 
 
import-after-func.fail.wast
import-after-func.fail.wast
 
 
import-after-global.fail.wast
import-after-global.fail.wast
 
 
import-after-table.fail.wast
import-after-table.fail.wast
 
 
imports.wast
imports.wast
 
 
memory64.wast
memory64.wast
 
 
multi-memories_size.wast
multi-memories_size.wast
 
 
multivalue.wast
multivalue.wast
 
 
of_string-overflow-hex-u32.fail.wast
of_string-overflow-hex-u32.fail.wast
 
 
of_string-overflow-hex-u64.fail.wast
of_string-overflow-hex-u64.fail.wast
 
 
of_string-overflow-s32.fail.wast
of_string-overflow-s32.fail.wast
 
 
of_string-overflow-s64.fail.wast
of_string-overflow-s64.fail.wast
 
 
of_string-overflow-u32.fail.wast
of_string-overflow-u32.fail.wast
 
 
of_string-overflow-u64.fail.wast
of_string-overflow-u64.fail.wast
 
 
old_address.wast
old_address.wast
 
 
old_address64.wast
old_address64.wast
 
 
old_exports.wast
old_exports.wast
 
 
old_globals.wast
old_globals.wast
 
 
old_import.wast
old_import.wast
 
 
old_int_literals.wast
old_int_literals.wast
 
 
old_select.wast
old_select.wast
 
 
old_start.wast
old_start.wast
 
 
ref.cast_desc_eq.wast
ref.cast_desc_eq.wast
 
 
ref.get_desc.wast
ref.get_desc.wast
 
 
ref_cast.wast
ref_cast.wast
 
 
ref_func.wast
ref_func.wast
 
 
ref_test.wast
ref_test.wast
 
 
relaxed-atomics.wast
relaxed-atomics.wast
 
 
resizing.wast
resizing.wast
 
 
resizing64.wast
resizing64.wast
 
 
return_call_eh-legacy.wast
return_call_eh-legacy.wast
 
 
return_call_eh.wast
return_call_eh.wast
 
 
return_call_indirect.wast
return_call_indirect.wast
 
 
select.wast
select.wast
 
 
set_local.wast
set_local.wast
 
 
shared-array.wast
shared-array.wast
 
 
shared-i31.wast
shared-i31.wast
 
 

README.md

This directory contains tests for the core WebAssembly semantics, as described in Semantics.md and specified by the spec interpreter.

Tests are written in the S-Expression script format defined by the interpreter.

To execute all spec tests, run the following command from the binaryen top-level directory:

./check.py spec

Individual spec tests may be executed by running the following command from the binaryen top-level directory:

bin/wasm-shell [path to spec test]