tree: 1c1b2a13ce584f8a7931f967024c2733f49a78b8
  1. acquire-release-atomics/
  2. compact-import-section/
  3. expected-output/
  4. stack-switching/
  5. threads/
  6. address-offset-range.fail.wast
  7. array-multibyte.wast
  8. array-new-data.wast
  9. array-new-elem.wast
  10. array.wast
  11. atomics.wast
  12. binary.wast
  13. br_if.wast
  14. br_on_cast_desc_eq.wast
  15. break-drop.wast
  16. bulk-array.wast
  17. bulk-memory.wast
  18. bulk-memory64.wast
  19. call_indirect_cross_module.wast
  20. call_indirect_refnull.wast
  21. call_indirect_sig_mismatch.wast
  22. call_ref_linked.wast
  23. comments.wast
  24. const.wast
  25. cont-validation.wast
  26. Contributing.md
  27. convert_extern.wast
  28. data.wast
  29. descriptors.wast
  30. dot_product.wast
  31. elem.wast
  32. elem_reftypes.wast
  33. exact-func-import.wast
  34. exception-handling-legacy.wast
  35. exception-handling.wast
  36. f16.wast
  37. f32.load32.fail.wast
  38. f32.load64.fail.wast
  39. f32.store32.fail.wast
  40. f32.store64.fail.wast
  41. f64.load32.fail.wast
  42. f64.load64.fail.wast
  43. f64.store32.fail.wast
  44. f64.store64.fail.wast
  45. func-local-after-body.fail.wast
  46. func-local-before-param.fail.wast
  47. func-local-before-result.fail.wast
  48. func-param-after-body.fail.wast
  49. func-result-after-body.fail.wast
  50. func-result-before-param.fail.wast
  51. func.wast
  52. get_local.wast
  53. globals.wast
  54. i32.load32_s.fail.wast
  55. i32.load32_u.fail.wast
  56. i32.load64_s.fail.wast
  57. i32.load64_u.fail.wast
  58. i32.store32.fail.wast
  59. i32.store64.fail.wast
  60. i64.load64_s.fail.wast
  61. i64.load64_u.fail.wast
  62. i64.store64.fail.wast
  63. if.wast
  64. import-after-func.fail.wast
  65. import-after-global.fail.wast
  66. import-after-table.fail.wast
  67. imports.wast
  68. LICENSE
  69. memory64.wast
  70. multi-memories_size.wast
  71. multivalue.wast
  72. of_string-overflow-hex-u32.fail.wast
  73. of_string-overflow-hex-u64.fail.wast
  74. of_string-overflow-s32.fail.wast
  75. of_string-overflow-s64.fail.wast
  76. of_string-overflow-u32.fail.wast
  77. of_string-overflow-u64.fail.wast
  78. old_address.wast
  79. old_address64.wast
  80. old_exports.wast
  81. old_globals.wast
  82. old_import.wast
  83. old_int_literals.wast
  84. old_select.wast
  85. old_start.wast
  86. README.md
  87. ref.cast_desc_eq.wast
  88. ref.get_desc.wast
  89. ref_cast.wast
  90. ref_func.wast
  91. ref_test.wast
  92. resizing.wast
  93. resizing64.wast
  94. return_call_eh-legacy.wast
  95. return_call_eh.wast
  96. return_call_indirect.wast
  97. select.wast
  98. set_local.wast
  99. shared-array.wast
  100. shared-i31.wast
  101. shared-polymorphism.wast
  102. shared-ref_eq.wast
  103. shared-structs.wast
  104. simd.wast
  105. store_retval.wast
  106. struct-upstream.wast
  107. struct.new_desc.wast
  108. struct.wast
  109. table_init.wast
  110. tag_linked.wast
  111. tags.wast
  112. tee_local.wast
  113. token.wast
  114. typecheck.wast
  115. typed_continuations.wast
  116. unreached-invalid.wast
  117. waitqueue.wast
test/spec/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]