elem.html

<a href="./index.html">Home</a><br><h3>Errors: 43</h3>
<h3>Warnings: 0</h3>
<h3>Successes: 56</h3>
<hr>
<h1>elem.wast</h1>
<pre>{"type":"module","line":4,"filename":"elem.0.wasm"}</pre>
<p style="background-color: green">loaded</p>
<pre>{"type":"module","line":80,"filename":"elem.1.wasm"}</pre>
<p style="background-color: green">loaded</p>
<pre>{"type":"module","line":90,"filename":"elem.2.wasm"}</pre>
<p style="background-color: green">loaded</p>
<pre>{"type":"module","line":95,"filename":"elem.3.wasm"}</pre>
<p style="background-color: green">loaded</p>
<pre>{"type":"module","line":101,"filename":"elem.4.wasm"}</pre>
<p style="background-color: green">loaded</p>
<pre>{"type":"module","line":110,"filename":"elem.5.wasm"}</pre>
<p style="background-color: green">loaded</p>
<pre>{"type":"module","line":120,"filename":"elem.6.wasm"}</pre>
<p style="background-color: green">loaded</p>
<pre>{"type":"module","line":127,"filename":"elem.7.wasm"}</pre>
<p style="background-color: green">loaded</p>
<pre>{"type":"module","line":134,"filename":"elem.8.wasm"}</pre>
<p style="background-color: green">loaded</p>
<pre>{"type":"assert_return","line":148,"action":{"type":"invoke","field":"call-7"},"expected":[{"type":"i32","value":"65"}]}</pre>
<pre>(assert_return (invoke "call-7") (i32.const 65))</pre>
<p style="background-color: green">ok, result</p>
<pre>{"type":"assert_return","line":149,"action":{"type":"invoke","field":"call-9"},"expected":[{"type":"i32","value":"66"}]}</pre>
<pre>(assert_return (invoke "call-9") (i32.const 66))</pre>
<p style="background-color: green">ok, result</p>
<pre>{"type":"module","line":153,"filename":"elem.9.wasm"}</pre>
<p style="background-color: green">loaded</p>
<pre>{"type":"assert_return","line":167,"action":{"type":"invoke","field":"call-7"},"expected":[{"type":"i32","value":"65"}]}</pre>
<pre>(assert_return (invoke "call-7") (i32.const 65))</pre>
<p style="background-color: red">exception: instantiate element section, failed to execute instructions: instantiate 4: todo</p>
<pre>{"type":"assert_return","line":168,"action":{"type":"invoke","field":"call-9"},"expected":[{"type":"i32","value":"66"}]}</pre>
<pre>(assert_return (invoke "call-9") (i32.const 66))</pre>
<p style="background-color: red">exception: zcl_wasm_call_indirect: null reference, 0, 9</p>
<pre>{"type":"assert_invalid","line":171,"filename":"elem.10.wasm","text":"unknown global"}</pre>
<p style="background-color: red">expected error</p>
<pre>{"type":"assert_invalid","line":175,"filename":"elem.11.wasm","text":"unknown global"}</pre>
<p style="background-color: red">expected error</p>
<pre>{"type":"module","line":182,"filename":"elem.12.wasm"}</pre>
<p style="background-color: green">loaded</p>
<pre>{"type":"module","line":187,"filename":"elem.13.wasm"}</pre>
<p style="background-color: green">loaded</p>
<pre>{"type":"module","line":193,"filename":"elem.14.wasm"}</pre>
<p style="background-color: green">loaded</p>
<pre>{"type":"module","line":197,"filename":"elem.15.wasm"}</pre>
<p style="background-color: green">loaded</p>
<pre>{"type":"module","line":202,"filename":"elem.16.wasm"}</pre>
<p style="background-color: green">loaded</p>
<pre>{"type":"module","line":207,"filename":"elem.17.wasm"}</pre>
<p style="background-color: green">loaded</p>
<pre>{"type":"module","line":212,"filename":"elem.18.wasm"}</pre>
<p style="background-color: green">loaded</p>
<pre>{"type":"module","line":218,"filename":"elem.19.wasm"}</pre>
<p style="background-color: green">loaded</p>
<pre>{"type":"module","line":224,"filename":"elem.20.wasm"}</pre>
<p style="background-color: green">loaded</p>
<pre>{"type":"module","line":230,"filename":"elem.21.wasm"}</pre>
<p style="background-color: green">loaded</p>
<pre>{"type":"assert_uninstantiable","line":239,"filename":"elem.22.wasm","text":"out of bounds table access"}</pre>
<p style="background-color: green">got error: instantiate element section, failed to execute instructions: zcl_wasm_memory: table_get, out of bounds</p>
<pre>{"type":"assert_uninstantiable","line":248,"filename":"elem.23.wasm","text":"out of bounds table access"}</pre>
<p style="background-color: green">got error: instantiate element section, failed to execute instructions: zcl_wasm_memory: table_get, out of bounds</p>
<pre>{"type":"assert_uninstantiable","line":257,"filename":"elem.24.wasm","text":"out of bounds table access"}</pre>
<p style="background-color: green">got error: instantiate element section, failed to execute instructions: zcl_wasm_memory: table_get, out of bounds</p>
<pre>{"type":"assert_uninstantiable","line":266,"filename":"elem.25.wasm","text":"out of bounds table access"}</pre>
<p style="background-color: red">expected error</p>
<pre>{"type":"assert_uninstantiable","line":273,"filename":"elem.26.wasm","text":"out of bounds table access"}</pre>
<p style="background-color: green">got error: instantiate element section, failed to execute instructions: zcl_wasm_memory: table_get, out of bounds</p>
<pre>{"type":"assert_uninstantiable","line":281,"filename":"elem.27.wasm","text":"out of bounds table access"}</pre>
<p style="background-color: green">got error: import section: no imports provided</p>
<pre>{"type":"assert_uninstantiable","line":290,"filename":"elem.28.wasm","text":"out of bounds table access"}</pre>
<p style="background-color: green">got error: instantiate element section, failed to execute instructions: zcl_wasm_memory: table_get, out of bounds</p>
<pre>{"type":"assert_uninstantiable","line":298,"filename":"elem.29.wasm","text":"out of bounds table access"}</pre>
<p style="background-color: green">got error: import section: no imports provided</p>
<pre>{"type":"assert_uninstantiable","line":307,"filename":"elem.30.wasm","text":"out of bounds table access"}</pre>
<p style="background-color: green">got error: An exception was raised.</p>
<pre>{"type":"assert_uninstantiable","line":315,"filename":"elem.31.wasm","text":"out of bounds table access"}</pre>
<p style="background-color: green">got error: import section: no imports provided</p>
<pre>{"type":"assert_uninstantiable","line":324,"filename":"elem.32.wasm","text":"out of bounds table access"}</pre>
<p style="background-color: green">got error: An exception was raised.</p>
<pre>{"type":"assert_uninstantiable","line":332,"filename":"elem.33.wasm","text":"out of bounds table access"}</pre>
<p style="background-color: green">got error: import section: no imports provided</p>
<pre>{"type":"module","line":342,"filename":"elem.34.wasm"}</pre>
<p style="background-color: green">loaded</p>
<pre>{"type":"assert_trap","line":350,"text":"out of bounds table access","action":{"type":"invoke","field":"init"}}</pre>
<pre>(assert_trap (invoke "init") "out of bounds table access")</pre>
<p style="background-color: red">assert_trap, todo: todo, execute instruction zcl_wasm_table_init</p>
<pre>{"type":"module","line":352,"filename":"elem.35.wasm"}</pre>
<p style="background-color: green">loaded</p>
<pre>{"type":"assert_trap","line":360,"text":"out of bounds table access","action":{"type":"invoke","field":"init"}}</pre>
<pre>(assert_trap (invoke "init") "out of bounds table access")</pre>
<p style="background-color: red">assert_trap, todo: todo, execute instruction zcl_wasm_table_init</p>
<pre>{"type":"assert_invalid","line":365,"filename":"elem.36.wasm","text":"unknown table"}</pre>
<p style="background-color: red">expected error</p>
<pre>{"type":"assert_invalid","line":375,"filename":"elem.37.wasm","text":"type mismatch"}</pre>
<p style="background-color: red">expected error</p>
<pre>{"type":"assert_invalid","line":383,"filename":"elem.38.wasm","text":"type mismatch"}</pre>
<p style="background-color: red">expected error</p>
<pre>{"type":"assert_invalid","line":391,"filename":"elem.39.wasm","text":"type mismatch"}</pre>
<p style="background-color: red">expected error</p>
<pre>{"type":"assert_invalid","line":399,"filename":"elem.40.wasm","text":"type mismatch"}</pre>
<p style="background-color: red">expected error</p>
<pre>{"type":"assert_invalid","line":407,"filename":"elem.41.wasm","text":"type mismatch"}</pre>
<p style="background-color: red">expected error</p>
<pre>{"type":"assert_invalid","line":416,"filename":"elem.42.wasm","text":"type mismatch"}</pre>
<p style="background-color: red">expected error</p>
<pre>{"type":"assert_invalid","line":426,"filename":"elem.43.wasm","text":"constant expression required"}</pre>
<p style="background-color: red">expected error</p>
<pre>{"type":"assert_invalid","line":434,"filename":"elem.44.wasm","text":"constant expression required"}</pre>
<p style="background-color: red">expected error</p>
<pre>{"type":"assert_invalid","line":442,"filename":"elem.45.wasm","text":"constant expression required"}</pre>
<p style="background-color: red">expected error</p>
<pre>{"type":"assert_invalid","line":450,"filename":"elem.46.wasm","text":"constant expression required"}</pre>
<p style="background-color: red">expected error</p>
<pre>{"type":"assert_invalid","line":458,"filename":"elem.47.wasm","text":"constant expression required"}</pre>
<p style="background-color: red">expected error</p>
<pre>{"type":"assert_invalid","line":467,"filename":"elem.48.wasm","text":"unknown global 0"}</pre>
<p style="background-color: red">expected error</p>
<pre>{"type":"assert_invalid","line":475,"filename":"elem.49.wasm","text":"unknown global 1"}</pre>
<p style="background-color: red">expected error</p>
<pre>{"type":"assert_invalid","line":484,"filename":"elem.50.wasm","text":"constant expression required"}</pre>
<p style="background-color: red">expected error</p>
<pre>{"type":"assert_invalid","line":495,"filename":"elem.51.wasm","text":"type mismatch"}</pre>
<p style="background-color: red">expected error</p>
<pre>{"type":"assert_invalid","line":503,"filename":"elem.52.wasm","text":"type mismatch"}</pre>
<p style="background-color: red">expected error</p>
<pre>{"type":"assert_invalid","line":511,"filename":"elem.53.wasm","text":"type mismatch"}</pre>
<p style="background-color: red">expected error</p>
<pre>{"type":"assert_invalid","line":519,"filename":"elem.54.wasm","text":"type mismatch"}</pre>
<p style="background-color: red">expected error</p>
<pre>{"type":"assert_invalid","line":527,"filename":"elem.55.wasm","text":"constant expression required"}</pre>
<p style="background-color: red">expected error</p>
<pre>{"type":"assert_invalid","line":536,"filename":"elem.56.wasm","text":"constant expression required"}</pre>
<p style="background-color: red">expected error</p>
<pre>{"type":"module","line":545,"filename":"elem.57.wasm"}</pre>
<p style="background-color: green">loaded</p>
<pre>{"type":"assert_return","line":556,"action":{"type":"invoke","field":"call-overwritten"},"expected":[{"type":"i32","value":"66"}]}</pre>
<pre>(assert_return (invoke "call-overwritten") (i32.const 66))</pre>
<p style="background-color: green">ok, result</p>
<pre>{"type":"module","line":558,"filename":"elem.58.wasm"}</pre>
<p style="background-color: green">loaded</p>
<pre>{"type":"assert_return","line":569,"action":{"type":"invoke","field":"call-overwritten-element"},"expected":[{"type":"i32","value":"66"}]}</pre>
<pre>(assert_return (invoke "call-overwritten-element") (i32.const 66))</pre>
<p style="background-color: red">exception: instantiate element section, failed to execute instructions: zcl_wasm_memory: table_set, not found, index 0</p>
<pre>{"type":"module","line":573,"filename":"elem.59.wasm"}</pre>
<p style="background-color: green">loaded</p>
<pre>{"type":"register","line":591,"as":"module1"}</pre>
<p style="background-color: green">registered</p>
<pre>{"type":"assert_trap","line":593,"text":"uninitialized element","action":{"type":"invoke","field":"call-7"},"expected":[{"type":"i32"}]}</pre>
<pre>(assert_trap (invoke $module1 "call-7") "uninitialized element")</pre>
<p style="background-color: green">ok, got error: zcl_wasm_call_indirect: null reference, 0, 7</p>
<pre>{"type":"assert_return","line":594,"action":{"type":"invoke","field":"call-8"},"expected":[{"type":"i32","value":"65"}]}</pre>
<pre>(assert_return (invoke $module1 "call-8") (i32.const 65))</pre>
<p style="background-color: green">ok, result</p>
<pre>{"type":"assert_return","line":595,"action":{"type":"invoke","field":"call-9"},"expected":[{"type":"i32","value":"66"}]}</pre>
<pre>(assert_return (invoke $module1 "call-9") (i32.const 66))</pre>
<p style="background-color: green">ok, result</p>
<pre>{"type":"module","line":597,"filename":"elem.60.wasm"}</pre>
<p style="background-color: green">loaded</p>
<pre>{"type":"assert_return","line":606,"action":{"type":"invoke","field":"call-7"},"expected":[{"type":"i32","value":"67"}]}</pre>
<pre>(assert_return (invoke $module1 "call-7") (i32.const 67))</pre>
<p style="background-color: red">exception: get_export_by_name, not found: call-7</p>
<pre>{"type":"assert_return","line":607,"action":{"type":"invoke","field":"call-8"},"expected":[{"type":"i32","value":"68"}]}</pre>
<pre>(assert_return (invoke $module1 "call-8") (i32.const 68))</pre>
<p style="background-color: red">exception: get_export_by_name, not found: call-8</p>
<pre>{"type":"assert_return","line":608,"action":{"type":"invoke","field":"call-9"},"expected":[{"type":"i32","value":"66"}]}</pre>
<pre>(assert_return (invoke $module1 "call-9") (i32.const 66))</pre>
<p style="background-color: red">exception: get_export_by_name, not found: call-9</p>
<pre>{"type":"module","line":610,"filename":"elem.61.wasm"}</pre>
<p style="background-color: green">loaded</p>
<pre>{"type":"assert_return","line":619,"action":{"type":"invoke","field":"call-7"},"expected":[{"type":"i32","value":"67"}]}</pre>
<pre>(assert_return (invoke $module1 "call-7") (i32.const 67))</pre>
<p style="background-color: red">exception: get_export_by_name, not found: call-7</p>
<pre>{"type":"assert_return","line":620,"action":{"type":"invoke","field":"call-8"},"expected":[{"type":"i32","value":"69"}]}</pre>
<pre>(assert_return (invoke $module1 "call-8") (i32.const 69))</pre>
<p style="background-color: red">exception: get_export_by_name, not found: call-8</p>
<pre>{"type":"assert_return","line":621,"action":{"type":"invoke","field":"call-9"},"expected":[{"type":"i32","value":"70"}]}</pre>
<pre>(assert_return (invoke $module1 "call-9") (i32.const 70))</pre>
<p style="background-color: red">exception: get_export_by_name, not found: call-9</p>
<pre>{"type":"assert_invalid","line":626,"filename":"elem.62.wasm","text":"type mismatch"}</pre>
<p style="background-color: red">expected error</p>
<pre>{"type":"assert_invalid","line":631,"filename":"elem.63.wasm","text":"type mismatch"}</pre>
<p style="background-color: red">expected error</p>
<pre>{"type":"assert_invalid","line":636,"filename":"elem.64.wasm","text":"type mismatch"}</pre>
<p style="background-color: red">expected error</p>
<pre>{"type":"assert_invalid","line":645,"filename":"elem.65.wasm","text":"type mismatch"}</pre>
<p style="background-color: red">expected error</p>
<pre>{"type":"module","line":654,"filename":"elem.66.wasm"}</pre>
<p style="background-color: green">loaded</p>
<pre>{"type":"register","line":661,"as":"exporter"}</pre>
<p style="background-color: green">registered</p>
<pre>{"type":"assert_return","line":663,"action":{"type":"invoke","field":"get","args":[{"type":"i32","value":"0"}]},"expected":[{"type":"externref","value":"null"}]}</pre>
<pre>(assert_return (invoke $m "get" (i32.const 0)) (ref.null extern))</pre>
<p style="background-color: green">ok, result</p>
<pre>{"type":"assert_return","line":664,"action":{"type":"invoke","field":"get","args":[{"type":"i32","value":"1"}]},"expected":[{"type":"externref","value":"null"}]}</pre>
<pre>(assert_return (invoke $m "get" (i32.const 1)) (ref.null extern))</pre>
<p style="background-color: green">ok, result</p>
<pre>{"type":"assert_return","line":666,"action":{"type":"invoke","field":"set","args":[{"type":"i32","value":"0"},{"type":"externref","value":"42"}]}}</pre>
<pre>(assert_return (invoke $m "set" (i32.const 0) (ref.extern 42)))</pre>
<p style="background-color: green">ok, result</p>
<pre>{"type":"assert_return","line":667,"action":{"type":"invoke","field":"set","args":[{"type":"i32","value":"1"},{"type":"externref","value":"137"}]}}</pre>
<pre>(assert_return (invoke $m "set" (i32.const 1) (ref.extern 137)))</pre>
<p style="background-color: green">ok, result</p>
<pre>{"type":"assert_return","line":669,"action":{"type":"invoke","field":"get","args":[{"type":"i32","value":"0"}]},"expected":[{"type":"externref","value":"42"}]}</pre>
<pre>(assert_return (invoke $m "get" (i32.const 0)) (ref.extern 42))</pre>
<p style="background-color: green">ok, result</p>
<pre>{"type":"assert_return","line":670,"action":{"type":"invoke","field":"get","args":[{"type":"i32","value":"1"}]},"expected":[{"type":"externref","value":"137"}]}</pre>
<pre>(assert_return (invoke $m "get" (i32.const 1)) (ref.extern 137))</pre>
<p style="background-color: green">ok, result</p>
<pre>{"type":"module","line":672,"filename":"elem.67.wasm"}</pre>
<p style="background-color: green">loaded</p>
<pre>{"type":"assert_return","line":676,"action":{"type":"invoke","field":"get","args":[{"type":"i32","value":"0"}]},"expected":[{"type":"externref","value":"null"}]}</pre>
<pre>(assert_return (invoke $m "get" (i32.const 0)) (ref.null extern))</pre>
<p style="background-color: red">exception: get_export_by_name, not found: get</p>
<pre>{"type":"assert_return","line":677,"action":{"type":"invoke","field":"get","args":[{"type":"i32","value":"1"}]},"expected":[{"type":"externref","value":"137"}]}</pre>
<pre>(assert_return (invoke $m "get" (i32.const 1)) (ref.extern 137))</pre>
<p style="background-color: red">exception: get_export_by_name, not found: get</p>
<pre>{"type":"module","line":681,"filename":"elem.68.wasm"}</pre>
<p style="background-color: green">loaded</p>
<pre>{"type":"register","line":688,"as":"module4"}</pre>
<p style="background-color: red">exception: instantiate_global, failed to execute instructions: todo, execute instruction zcl_wasm_ref_func</p>
<pre>{"type":"module","line":690,"filename":"elem.69.wasm"}</pre>
<p style="background-color: green">loaded</p>
<pre>{"type":"assert_return","line":700,"action":{"type":"invoke","field":"call_imported_elem"},"expected":[{"type":"i32","value":"42"}]}</pre>
<pre>(assert_return (invoke "call_imported_elem") (i32.const 42))</pre>
<p style="background-color: red">exception: import section: module with name module4 not found</p>
<p>Generated at 2025-05-03T14:31:31</p>