wasmtime-cli 45.0.0

Command-line interface for Wasmtime
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99

(module
  (type $t (func))
  (@custom "my-section1" "contents-bytes1")
  (@custom "my-section2" "more-contents-bytes0")
  (@custom "my-section1" "contents-bytes2")
  (@custom "my-section2" (before global) "more-contents-bytes1")
  (@custom "my-section2" (after func) "more-contents-bytes2")
  (@custom "my-section2" (after func) "more-contents-bytes3")
  (@custom "my-section2" (before global) "more-contents-bytes4")
  (func)
  (@custom "my-section2" "more-contents-bytes5")

  (global $g i32 (i32.const 0))
  (@custom "my-section3")
  (@custom "my-section4" "" "1" "" "2" "3" "")
  (@custom "")
)

(module quote "(@custom \"bla\")")
(module quote "(module (@custom \"bla\"))")


;; Malformed name

(assert_malformed_custom
  (module quote "(@custom)")
  "@custom annotation: missing section name"
)

(assert_malformed_custom
  (module quote "(@custom 4)")
  "@custom annotation: missing section name"
)

(assert_malformed_custom
  (module quote "(@custom bla)")
  "@custom annotation: missing section name"
)

(assert_malformed_custom
  (module quote "(@custom \"\\df\")")
  "@custom annotation: malformed UTF-8 encoding"
)


;; Malformed placement

(assert_malformed_custom
  (module quote "(@custom \"bla\" here)")
  "@custom annotation: unexpected token"
)

(assert_malformed_custom
  (module quote "(@custom \"bla\" after)")
  "@custom annotation: unexpected token"
)

(assert_malformed_custom
  (module quote "(@custom \"bla\" (after))")
  "@custom annotation: malformed section kind"
)

(assert_malformed_custom
  (module quote "(@custom \"bla\" (type))")
  "@custom annotation: malformed placement"
)

(assert_malformed_custom
  (module quote "(@custom \"bla\" (aft type))")
  "@custom annotation: malformed placement"
)

(assert_malformed_custom
  (module quote "(@custom \"bla\" (before types))")
  "@custom annotation: malformed section kind"
)


;; Misplaced

(assert_malformed_custom
  (module quote "(type (@custom \"bla\") $t (func))")
  "misplaced @custom annotation"
)

(assert_malformed_custom
  (module quote "(func (@custom \"bla\"))")
  "misplaced @custom annotation"
)

(assert_malformed_custom
  (module quote "(func (block (@custom \"bla\")))")
  "misplaced @custom annotation"
)

(assert_malformed_custom
  (module quote "(func (nop (@custom \"bla\")))")
  "misplaced @custom annotation"
)