Skip to content

Commit

Permalink
Update spec test suite (bytecodealliance#1695)
Browse files Browse the repository at this point in the history
Looks like a normal update, no changes necessary.
  • Loading branch information
alexcrichton authored Jul 22, 2024
1 parent 4ec13be commit 9c7a49a
Show file tree
Hide file tree
Showing 46 changed files with 647 additions and 60 deletions.
3 changes: 0 additions & 3 deletions .gitmodules
Original file line number Diff line number Diff line change
@@ -1,6 +1,3 @@
[submodule "tests/wabt"]
path = tests/wabt
url = https://github.com/WebAssembly/wabt
[submodule "tests/testsuite"]
path = tests/testsuite
url = https://github.com/WebAssembly/testsuite
362 changes: 362 additions & 0 deletions tests/snapshots/testsuite/proposals/annotations/token.wast.json
Original file line number Diff line number Diff line change
@@ -0,0 +1,362 @@
{
"source_filename": "tests/testsuite/proposals/annotations/token.wast",
"commands": [
{
"type": "assert_malformed",
"line": 4,
"filename": "token.0.wat",
"text": "unknown operator",
"module_type": "text"
},
{
"type": "assert_malformed",
"line": 8,
"filename": "token.1.wat",
"text": "unknown operator",
"module_type": "text"
},
{
"type": "module",
"line": 15,
"filename": "token.2.wasm"
},
{
"type": "module",
"line": 18,
"filename": "token.3.wasm"
},
{
"type": "module",
"line": 21,
"filename": "token.4.wasm"
},
{
"type": "module",
"line": 24,
"filename": "token.5.wasm"
},
{
"type": "module",
"line": 27,
"filename": "token.6.wasm"
},
{
"type": "module",
"line": 30,
"filename": "token.7.wasm"
},
{
"type": "module",
"line": 33,
"filename": "token.8.wasm"
},
{
"type": "module",
"line": 38,
"filename": "token.9.wasm"
},
{
"type": "module",
"line": 43,
"filename": "token.10.wasm"
},
{
"type": "module",
"line": 47,
"filename": "token.11.wasm"
},
{
"type": "module",
"line": 54,
"filename": "token.12.wasm"
},
{
"type": "module",
"line": 58,
"filename": "token.13.wasm"
},
{
"type": "module",
"line": 62,
"filename": "token.14.wasm"
},
{
"type": "module",
"line": 66,
"filename": "token.15.wasm"
},
{
"type": "module",
"line": 70,
"filename": "token.16.wasm"
},
{
"type": "module",
"line": 74,
"filename": "token.17.wasm"
},
{
"type": "module",
"line": 82,
"filename": "token.18.wasm"
},
{
"type": "assert_malformed",
"line": 86,
"filename": "token.19.wat",
"text": "unknown operator",
"module_type": "text"
},
{
"type": "assert_malformed",
"line": 92,
"filename": "token.20.wat",
"text": "unknown operator",
"module_type": "text"
},
{
"type": "module",
"line": 98,
"filename": "token.21.wasm"
},
{
"type": "assert_malformed",
"line": 102,
"filename": "token.22.wat",
"text": "unknown label",
"module_type": "text"
},
{
"type": "assert_malformed",
"line": 108,
"filename": "token.23.wat",
"text": "unknown operator",
"module_type": "text"
},
{
"type": "module",
"line": 114,
"filename": "token.24.wasm"
},
{
"type": "assert_malformed",
"line": 118,
"filename": "token.25.wat",
"text": "unknown label",
"module_type": "text"
},
{
"type": "assert_malformed",
"line": 124,
"filename": "token.26.wat",
"text": "unknown operator",
"module_type": "text"
},
{
"type": "module",
"line": 130,
"filename": "token.27.wasm"
},
{
"type": "module",
"line": 133,
"filename": "token.28.wasm"
},
{
"type": "module",
"line": 140,
"filename": "token.29.wasm"
},
{
"type": "assert_malformed",
"line": 144,
"filename": "token.30.wat",
"text": "unknown operator",
"module_type": "text"
},
{
"type": "module",
"line": 150,
"filename": "token.31.wasm"
},
{
"type": "assert_malformed",
"line": 154,
"filename": "token.32.wat",
"text": "unknown operator",
"module_type": "text"
},
{
"type": "module",
"line": 160,
"filename": "token.33.wasm"
},
{
"type": "assert_malformed",
"line": 164,
"filename": "token.34.wat",
"text": "unknown operator",
"module_type": "text"
},
{
"type": "module",
"line": 170,
"filename": "token.35.wasm"
},
{
"type": "assert_malformed",
"line": 174,
"filename": "token.36.wat",
"text": "unknown operator",
"module_type": "text"
},
{
"type": "module",
"line": 180,
"filename": "token.37.wasm"
},
{
"type": "assert_malformed",
"line": 184,
"filename": "token.38.wat",
"text": "unknown operator",
"module_type": "text"
},
{
"type": "module",
"line": 190,
"filename": "token.39.wasm"
},
{
"type": "assert_malformed",
"line": 194,
"filename": "token.40.wat",
"text": "unknown operator",
"module_type": "text"
},
{
"type": "module",
"line": 200,
"filename": "token.41.wasm"
},
{
"type": "assert_malformed",
"line": 204,
"filename": "token.42.wat",
"text": "unknown operator",
"module_type": "text"
},
{
"type": "module",
"line": 210,
"filename": "token.43.wasm"
},
{
"type": "assert_malformed",
"line": 214,
"filename": "token.44.wat",
"text": "unknown operator",
"module_type": "text"
},
{
"type": "module",
"line": 220,
"filename": "token.45.wasm"
},
{
"type": "assert_malformed",
"line": 224,
"filename": "token.46.wat",
"text": "unknown operator",
"module_type": "text"
},
{
"type": "module",
"line": 230,
"filename": "token.47.wasm"
},
{
"type": "assert_malformed",
"line": 234,
"filename": "token.48.wat",
"text": "unknown operator",
"module_type": "text"
},
{
"type": "module",
"line": 240,
"filename": "token.49.wasm"
},
{
"type": "assert_malformed",
"line": 244,
"filename": "token.50.wat",
"text": "unknown operator",
"module_type": "text"
},
{
"type": "module",
"line": 250,
"filename": "token.51.wasm"
},
{
"type": "assert_malformed",
"line": 254,
"filename": "token.52.wat",
"text": "unknown operator",
"module_type": "text"
},
{
"type": "module",
"line": 260,
"filename": "token.53.wasm"
},
{
"type": "assert_malformed",
"line": 264,
"filename": "token.54.wat",
"text": "unknown operator",
"module_type": "text"
},
{
"type": "module",
"line": 270,
"filename": "token.55.wasm"
},
{
"type": "assert_malformed",
"line": 274,
"filename": "token.56.wat",
"text": "unknown operator",
"module_type": "text"
},
{
"type": "assert_malformed",
"line": 282,
"filename": "token.57.wat",
"text": "unknown operator",
"module_type": "text"
},
{
"type": "assert_malformed",
"line": 288,
"filename": "token.58.wat",
"text": "unknown operator",
"module_type": "text"
},
{
"type": "assert_malformed",
"line": 294,
"filename": "token.59.wat",
"text": "unknown operator",
"module_type": "text"
},
{
"type": "assert_malformed",
"line": 300,
"filename": "token.60.wat",
"text": "unknown operator",
"module_type": "text"
}
]
}
Original file line number Diff line number Diff line change
@@ -0,0 +1,4 @@
(module
(memory (;0;) 1)
(data (;0;) (i32.const 0) "a")
)
Original file line number Diff line number Diff line change
@@ -0,0 +1,4 @@
(module
(type (;0;) (func))
(import "spectest" "print" (func (;0;) (type 0)))
)
Original file line number Diff line number Diff line change
@@ -0,0 +1,4 @@
(module
(type (;0;) (func))
(func (;0;) (type 0))
)
Original file line number Diff line number Diff line change
@@ -0,0 +1,6 @@
(module
(type (;0;) (func))
(func (;0;) (type 0)
nop
)
)
Original file line number Diff line number Diff line change
@@ -0,0 +1,6 @@
(module
(type (;0;) (func))
(func (;0;) (type 0)
nop
)
)
Loading

0 comments on commit 9c7a49a

Please sign in to comment.