tree: bc684e4367ffb54f78ad1c58b7b4c8f2237d231a
  1. compact-import-section/
  2. expected-output/
  3. stack-switching/
  4. threads/
  5. address-offset-range.fail.wast
  6. array-multibyte.wast
  7. array-new-data.wast
  8. array-new-elem.wast
  9. array.wast
  10. atomics.wast
  11. binary.wast
  12. br_if.wast
  13. br_on_cast_desc_eq.wast
  14. break-drop.wast
  15. bulk-array.wast
  16. bulk-memory.wast
  17. bulk-memory64.wast
  18. call_indirect_cross_module.wast
  19. call_indirect_refnull.wast
  20. call_indirect_sig_mismatch.wast
  21. call_ref_linked.wast
  22. comments.wast
  23. const.wast
  24. cont-validation.wast
  25. Contributing.md
  26. convert_extern.wast
  27. data.wast
  28. descriptors.wast
  29. dot_product.wast
  30. elem.wast
  31. elem_reftypes.wast
  32. exact-func-import.wast
  33. exception-handling-legacy.wast
  34. exception-handling.wast
  35. f16.wast
  36. f32.load32.fail.wast
  37. f32.load64.fail.wast
  38. f32.store32.fail.wast
  39. f32.store64.fail.wast
  40. f64.load32.fail.wast
  41. f64.load64.fail.wast
  42. f64.store32.fail.wast
  43. f64.store64.fail.wast
  44. func-local-after-body.fail.wast
  45. func-local-before-param.fail.wast
  46. func-local-before-result.fail.wast
  47. func-param-after-body.fail.wast
  48. func-result-after-body.fail.wast
  49. func-result-before-param.fail.wast
  50. func.wast
  51. get_local.wast
  52. globals.wast
  53. i32.load32_s.fail.wast
  54. i32.load32_u.fail.wast
  55. i32.load64_s.fail.wast
  56. i32.load64_u.fail.wast
  57. i32.store32.fail.wast
  58. i32.store64.fail.wast
  59. i64.load64_s.fail.wast
  60. i64.load64_u.fail.wast
  61. i64.store64.fail.wast
  62. if.wast
  63. import-after-func.fail.wast
  64. import-after-global.fail.wast
  65. import-after-table.fail.wast
  66. imports.wast
  67. LICENSE
  68. memory64.wast
  69. multi-memories_size.wast
  70. multivalue.wast
  71. of_string-overflow-hex-u32.fail.wast
  72. of_string-overflow-hex-u64.fail.wast
  73. of_string-overflow-s32.fail.wast
  74. of_string-overflow-s64.fail.wast
  75. of_string-overflow-u32.fail.wast
  76. of_string-overflow-u64.fail.wast
  77. old_address.wast
  78. old_address64.wast
  79. old_exports.wast
  80. old_globals.wast
  81. old_import.wast
  82. old_int_literals.wast
  83. old_select.wast
  84. old_start.wast
  85. README.md
  86. ref.cast_desc_eq.wast
  87. ref.get_desc.wast
  88. ref_cast.wast
  89. ref_func.wast
  90. ref_test.wast
  91. relaxed-atomics.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]