spec

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]

Name	Name	Last commit message	Last commit date
parent directory ..
compact-import-section	compact-import-section
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

Provide feedback

Saved searches

Use saved searches to filter your results more quickly

Uh oh!

Expand file tree

README.md

Search code, repositories, users, issues, pull requests...

Uh oh!

FilesExpand file tree

spec

Directory actions

More options

Directory actions

More options

Latest commit

History

spec

Folders and files

parent directory

README.md

Expand file tree