Errors: 14

Warnings: 71

Successes: 98

imports.wast

{"type":"module","line":3,"filename":"imports.0.wasm"}

loaded

{"type":"register","line":21,"as":"test"}

registered

{"type":"module","line":26,"filename":"imports.1.wasm"}

loaded

{"type":"assert_return","line":85,"action":{"type":"invoke","field":"print32","args":[{"type":"i32","value":"13"}]}}

(assert_return (invoke "print32" (i32.const 13)))

exception: todo, execute instruction zcl_wasm_f32_convert_i32_s

{"type":"assert_return","line":86,"action":{"type":"invoke","field":"print64","args":[{"type":"i64","value":"24"}]}}

(assert_return (invoke "print64" (i64.const 24)))

ok, result

{"type":"assert_invalid","line":89,"filename":"imports.2.wasm","text":"unknown type"}

expected error

{"type":"module","line":97,"filename":"imports.3.wasm"}

loaded

{"type":"assert_return","line":104,"action":{"type":"invoke","field":"print_i32","args":[{"type":"i32","value":"13"}]}}

(assert_return (invoke "print_i32" (i32.const 13)))

ok, result

{"type":"module","line":107,"filename":"imports.4.wasm"}

loaded

{"type":"assert_return","line":114,"action":{"type":"invoke","field":"print_i32","args":[{"type":"i32","value":"5"},{"type":"i32","value":"11"}]},"expected":[{"type":"i32","value":"16"}]}

(assert_return (invoke "print_i32" (i32.const 5) (i32.const 11)) (i32.const 16))

ok, result

{"type":"module","line":116,"filename":"imports.5.wasm"}

loaded

{"type":"module","line":117,"filename":"imports.6.wasm"}

loaded

{"type":"module","line":118,"filename":"imports.7.wasm"}

loaded

{"type":"module","line":119,"filename":"imports.8.wasm"}

loaded

{"type":"module","line":120,"filename":"imports.9.wasm"}

loaded

{"type":"module","line":121,"filename":"imports.10.wasm"}

loaded

{"type":"module","line":122,"filename":"imports.11.wasm"}

loaded

{"type":"assert_unlinkable","line":125,"filename":"imports.12.wasm","text":"unknown import"}

todo, assert_unlinkable

{"type":"assert_unlinkable","line":129,"filename":"imports.13.wasm","text":"unknown import"}

todo, assert_unlinkable

{"type":"assert_unlinkable","line":134,"filename":"imports.14.wasm","text":"incompatible import type"}

todo, assert_unlinkable

{"type":"assert_unlinkable","line":138,"filename":"imports.15.wasm","text":"incompatible import type"}

todo, assert_unlinkable

{"type":"assert_unlinkable","line":142,"filename":"imports.16.wasm","text":"incompatible import type"}

todo, assert_unlinkable

{"type":"assert_unlinkable","line":146,"filename":"imports.17.wasm","text":"incompatible import type"}

todo, assert_unlinkable

{"type":"assert_unlinkable","line":150,"filename":"imports.18.wasm","text":"incompatible import type"}

todo, assert_unlinkable

{"type":"assert_unlinkable","line":154,"filename":"imports.19.wasm","text":"incompatible import type"}

todo, assert_unlinkable

{"type":"assert_unlinkable","line":158,"filename":"imports.20.wasm","text":"incompatible import type"}

todo, assert_unlinkable

{"type":"assert_unlinkable","line":162,"filename":"imports.21.wasm","text":"incompatible import type"}

todo, assert_unlinkable

{"type":"assert_unlinkable","line":166,"filename":"imports.22.wasm","text":"incompatible import type"}

todo, assert_unlinkable

{"type":"assert_unlinkable","line":170,"filename":"imports.23.wasm","text":"incompatible import type"}

todo, assert_unlinkable

{"type":"assert_unlinkable","line":174,"filename":"imports.24.wasm","text":"incompatible import type"}

todo, assert_unlinkable

{"type":"assert_unlinkable","line":178,"filename":"imports.25.wasm","text":"incompatible import type"}

todo, assert_unlinkable

{"type":"assert_unlinkable","line":182,"filename":"imports.26.wasm","text":"incompatible import type"}

todo, assert_unlinkable

{"type":"assert_unlinkable","line":186,"filename":"imports.27.wasm","text":"incompatible import type"}

todo, assert_unlinkable

{"type":"assert_unlinkable","line":190,"filename":"imports.28.wasm","text":"incompatible import type"}

todo, assert_unlinkable

{"type":"assert_unlinkable","line":194,"filename":"imports.29.wasm","text":"incompatible import type"}

todo, assert_unlinkable

{"type":"assert_unlinkable","line":199,"filename":"imports.30.wasm","text":"incompatible import type"}

todo, assert_unlinkable

{"type":"assert_unlinkable","line":203,"filename":"imports.31.wasm","text":"incompatible import type"}

todo, assert_unlinkable

{"type":"assert_unlinkable","line":207,"filename":"imports.32.wasm","text":"incompatible import type"}

todo, assert_unlinkable

{"type":"assert_unlinkable","line":211,"filename":"imports.33.wasm","text":"incompatible import type"}

todo, assert_unlinkable

{"type":"assert_unlinkable","line":215,"filename":"imports.34.wasm","text":"incompatible import type"}

todo, assert_unlinkable

{"type":"assert_unlinkable","line":219,"filename":"imports.35.wasm","text":"incompatible import type"}

todo, assert_unlinkable

{"type":"module","line":226,"filename":"imports.36.wasm"}

loaded

{"type":"assert_return","line":243,"action":{"type":"invoke","field":"get-0"},"expected":[{"type":"i32","value":"666"}]}

(assert_return (invoke "get-0") (i32.const 666))

error, wrong result, expected 666, got 0

{"type":"assert_return","line":244,"action":{"type":"invoke","field":"get-1"},"expected":[{"type":"i32","value":"666"}]}

(assert_return (invoke "get-1") (i32.const 666))

error, wrong result, expected 666, got 0

{"type":"assert_return","line":245,"action":{"type":"invoke","field":"get-x"},"expected":[{"type":"i32","value":"666"}]}

(assert_return (invoke "get-x") (i32.const 666))

error, wrong result, expected 666, got 0

{"type":"assert_return","line":246,"action":{"type":"invoke","field":"get-y"},"expected":[{"type":"i32","value":"666"}]}

(assert_return (invoke "get-y") (i32.const 666))

error, wrong result, expected 666, got 0

{"type":"module","line":248,"filename":"imports.37.wasm"}

loaded

{"type":"module","line":249,"filename":"imports.38.wasm"}

loaded

{"type":"module","line":250,"filename":"imports.39.wasm"}

loaded

{"type":"assert_unlinkable","line":253,"filename":"imports.40.wasm","text":"unknown import"}

todo, assert_unlinkable

{"type":"assert_unlinkable","line":257,"filename":"imports.41.wasm","text":"unknown import"}

todo, assert_unlinkable

{"type":"assert_unlinkable","line":262,"filename":"imports.42.wasm","text":"incompatible import type"}

todo, assert_unlinkable

{"type":"assert_unlinkable","line":266,"filename":"imports.43.wasm","text":"incompatible import type"}

todo, assert_unlinkable

{"type":"assert_unlinkable","line":270,"filename":"imports.44.wasm","text":"incompatible import type"}

todo, assert_unlinkable

{"type":"assert_unlinkable","line":274,"filename":"imports.45.wasm","text":"incompatible import type"}

todo, assert_unlinkable

{"type":"assert_unlinkable","line":278,"filename":"imports.46.wasm","text":"incompatible import type"}

todo, assert_unlinkable

{"type":"assert_unlinkable","line":282,"filename":"imports.47.wasm","text":"incompatible import type"}

todo, assert_unlinkable

{"type":"assert_unlinkable","line":286,"filename":"imports.48.wasm","text":"incompatible import type"}

todo, assert_unlinkable

{"type":"assert_unlinkable","line":290,"filename":"imports.49.wasm","text":"incompatible import type"}

todo, assert_unlinkable

{"type":"assert_unlinkable","line":294,"filename":"imports.50.wasm","text":"incompatible import type"}

todo, assert_unlinkable

{"type":"assert_unlinkable","line":298,"filename":"imports.51.wasm","text":"incompatible import type"}

todo, assert_unlinkable

{"type":"assert_unlinkable","line":302,"filename":"imports.52.wasm","text":"incompatible import type"}

todo, assert_unlinkable

{"type":"assert_unlinkable","line":306,"filename":"imports.53.wasm","text":"incompatible import type"}

todo, assert_unlinkable

{"type":"assert_unlinkable","line":311,"filename":"imports.54.wasm","text":"incompatible import type"}

todo, assert_unlinkable

{"type":"assert_unlinkable","line":315,"filename":"imports.55.wasm","text":"incompatible import type"}

todo, assert_unlinkable

{"type":"assert_unlinkable","line":319,"filename":"imports.56.wasm","text":"incompatible import type"}

todo, assert_unlinkable

{"type":"assert_unlinkable","line":323,"filename":"imports.57.wasm","text":"incompatible import type"}

todo, assert_unlinkable

{"type":"assert_unlinkable","line":327,"filename":"imports.58.wasm","text":"incompatible import type"}

todo, assert_unlinkable

{"type":"assert_unlinkable","line":331,"filename":"imports.59.wasm","text":"incompatible import type"}

todo, assert_unlinkable

{"type":"module","line":338,"filename":"imports.60.wasm"}

loaded

{"type":"assert_trap","line":350,"text":"uninitialized element","action":{"type":"invoke","field":"call","args":[{"type":"i32","value":"0"}]},"expected":[{"type":"i32"}]}

(assert_trap (invoke "call" (i32.const 0)) "uninitialized element")

ok, got error: instantiate element section, failed to execute instructions: zcl_wasm_memory: table_set, not found, index 0

{"type":"assert_return","line":351,"action":{"type":"invoke","field":"call","args":[{"type":"i32","value":"1"}]},"expected":[{"type":"i32","value":"11"}]}

(assert_return (invoke "call" (i32.const 1)) (i32.const 11))

exception: zcl_wasm_memory: table_get, not found, index 0

{"type":"assert_return","line":352,"action":{"type":"invoke","field":"call","args":[{"type":"i32","value":"2"}]},"expected":[{"type":"i32","value":"22"}]}

(assert_return (invoke "call" (i32.const 2)) (i32.const 22))

exception: zcl_wasm_memory: table_get, not found, index 0

{"type":"assert_trap","line":353,"text":"uninitialized element","action":{"type":"invoke","field":"call","args":[{"type":"i32","value":"3"}]},"expected":[{"type":"i32"}]}

(assert_trap (invoke "call" (i32.const 3)) "uninitialized element")

ok, got error: zcl_wasm_memory: table_get, not found, index 0

{"type":"assert_trap","line":354,"text":"undefined element","action":{"type":"invoke","field":"call","args":[{"type":"i32","value":"100"}]},"expected":[{"type":"i32"}]}

(assert_trap (invoke "call" (i32.const 100)) "undefined element")

ok, got error: zcl_wasm_memory: table_get, not found, index 0

{"type":"module","line":357,"filename":"imports.61.wasm"}

loaded

{"type":"assert_trap","line":369,"text":"uninitialized element","action":{"type":"invoke","field":"call","args":[{"type":"i32","value":"0"}]},"expected":[{"type":"i32"}]}

(assert_trap (invoke "call" (i32.const 0)) "uninitialized element")

ok, got error: instantiate element section, failed to execute instructions: zcl_wasm_memory: table_set, not found, index 0

{"type":"assert_return","line":370,"action":{"type":"invoke","field":"call","args":[{"type":"i32","value":"1"}]},"expected":[{"type":"i32","value":"11"}]}

(assert_return (invoke "call" (i32.const 1)) (i32.const 11))

exception: zcl_wasm_memory: table_get, not found, index 0

{"type":"assert_return","line":371,"action":{"type":"invoke","field":"call","args":[{"type":"i32","value":"2"}]},"expected":[{"type":"i32","value":"22"}]}

(assert_return (invoke "call" (i32.const 2)) (i32.const 22))

exception: zcl_wasm_memory: table_get, not found, index 0

{"type":"assert_trap","line":372,"text":"uninitialized element","action":{"type":"invoke","field":"call","args":[{"type":"i32","value":"3"}]},"expected":[{"type":"i32"}]}

(assert_trap (invoke "call" (i32.const 3)) "uninitialized element")

ok, got error: zcl_wasm_memory: table_get, not found, index 0

{"type":"assert_trap","line":373,"text":"undefined element","action":{"type":"invoke","field":"call","args":[{"type":"i32","value":"100"}]},"expected":[{"type":"i32"}]}

(assert_trap (invoke "call" (i32.const 100)) "undefined element")

ok, got error: zcl_wasm_memory: table_get, not found, index 0

{"type":"module","line":376,"filename":"imports.62.wasm"}

loaded

{"type":"module","line":383,"filename":"imports.63.wasm"}

loaded

{"type":"module","line":384,"filename":"imports.64.wasm"}

loaded

{"type":"module","line":385,"filename":"imports.65.wasm"}

loaded

{"type":"module","line":386,"filename":"imports.66.wasm"}

loaded

{"type":"module","line":387,"filename":"imports.67.wasm"}

loaded

{"type":"module","line":388,"filename":"imports.68.wasm"}

loaded

{"type":"module","line":389,"filename":"imports.69.wasm"}

loaded

{"type":"module","line":390,"filename":"imports.70.wasm"}

loaded

{"type":"module","line":391,"filename":"imports.71.wasm"}

loaded

{"type":"module","line":392,"filename":"imports.72.wasm"}

loaded

{"type":"module","line":393,"filename":"imports.73.wasm"}

loaded

{"type":"module","line":394,"filename":"imports.74.wasm"}

loaded

{"type":"module","line":395,"filename":"imports.75.wasm"}

loaded

{"type":"module","line":396,"filename":"imports.76.wasm"}

loaded

{"type":"module","line":397,"filename":"imports.77.wasm"}

loaded

{"type":"module","line":398,"filename":"imports.78.wasm"}

loaded

{"type":"module","line":399,"filename":"imports.79.wasm"}

loaded

{"type":"module","line":400,"filename":"imports.80.wasm"}

loaded

{"type":"module","line":401,"filename":"imports.81.wasm"}

loaded

{"type":"module","line":402,"filename":"imports.82.wasm"}

loaded

{"type":"assert_unlinkable","line":405,"filename":"imports.83.wasm","text":"unknown import"}

todo, assert_unlinkable

{"type":"assert_unlinkable","line":409,"filename":"imports.84.wasm","text":"unknown import"}

todo, assert_unlinkable

{"type":"assert_unlinkable","line":414,"filename":"imports.85.wasm","text":"incompatible import type"}

todo, assert_unlinkable

{"type":"assert_unlinkable","line":418,"filename":"imports.86.wasm","text":"incompatible import type"}

todo, assert_unlinkable

{"type":"assert_unlinkable","line":422,"filename":"imports.87.wasm","text":"incompatible import type"}

todo, assert_unlinkable

{"type":"assert_unlinkable","line":426,"filename":"imports.88.wasm","text":"incompatible import type"}

todo, assert_unlinkable

{"type":"assert_unlinkable","line":430,"filename":"imports.89.wasm","text":"incompatible import type"}

todo, assert_unlinkable

{"type":"assert_unlinkable","line":434,"filename":"imports.90.wasm","text":"incompatible import type"}

todo, assert_unlinkable

{"type":"assert_unlinkable","line":439,"filename":"imports.91.wasm","text":"incompatible import type"}

todo, assert_unlinkable

{"type":"assert_unlinkable","line":443,"filename":"imports.92.wasm","text":"incompatible import type"}

todo, assert_unlinkable

{"type":"assert_unlinkable","line":447,"filename":"imports.93.wasm","text":"incompatible import type"}

todo, assert_unlinkable

{"type":"assert_unlinkable","line":451,"filename":"imports.94.wasm","text":"incompatible import type"}

todo, assert_unlinkable

{"type":"module","line":459,"filename":"imports.95.wasm"}

loaded

{"type":"assert_return","line":466,"action":{"type":"invoke","field":"load","args":[{"type":"i32","value":"0"}]},"expected":[{"type":"i32","value":"0"}]}

(assert_return (invoke "load" (i32.const 0)) (i32.const 0))

ok, result

{"type":"assert_return","line":467,"action":{"type":"invoke","field":"load","args":[{"type":"i32","value":"10"}]},"expected":[{"type":"i32","value":"16"}]}

(assert_return (invoke "load" (i32.const 10)) (i32.const 16))

ok, result

{"type":"assert_return","line":468,"action":{"type":"invoke","field":"load","args":[{"type":"i32","value":"8"}]},"expected":[{"type":"i32","value":"1048576"}]}

(assert_return (invoke "load" (i32.const 8)) (i32.const 0x100000))

ok, result

{"type":"assert_trap","line":469,"text":"out of bounds memory access","action":{"type":"invoke","field":"load","args":[{"type":"i32","value":"1000000"}]},"expected":[{"type":"i32"}]}

(assert_trap (invoke "load" (i32.const 1000000)) "out of bounds memory access")

ok, got error: linear_get: out of bounds, getting page 16, 1000000

{"type":"module","line":471,"filename":"imports.96.wasm"}

loaded

{"type":"assert_return","line":477,"action":{"type":"invoke","field":"load","args":[{"type":"i32","value":"0"}]},"expected":[{"type":"i32","value":"0"}]}

(assert_return (invoke "load" (i32.const 0)) (i32.const 0))

ok, result

{"type":"assert_return","line":478,"action":{"type":"invoke","field":"load","args":[{"type":"i32","value":"10"}]},"expected":[{"type":"i32","value":"16"}]}

(assert_return (invoke "load" (i32.const 10)) (i32.const 16))

ok, result

{"type":"assert_return","line":479,"action":{"type":"invoke","field":"load","args":[{"type":"i32","value":"8"}]},"expected":[{"type":"i32","value":"1048576"}]}

(assert_return (invoke "load" (i32.const 8)) (i32.const 0x100000))

ok, result

{"type":"assert_trap","line":480,"text":"out of bounds memory access","action":{"type":"invoke","field":"load","args":[{"type":"i32","value":"1000000"}]},"expected":[{"type":"i32"}]}

(assert_trap (invoke "load" (i32.const 1000000)) "out of bounds memory access")

ok, got error: linear_get: out of bounds, getting page 16, 1000000

{"type":"assert_invalid","line":483,"filename":"imports.97.wasm","text":"multiple memories"}

expected error

{"type":"assert_invalid","line":487,"filename":"imports.98.wasm","text":"multiple memories"}

expected error

{"type":"assert_invalid","line":491,"filename":"imports.99.wasm","text":"multiple memories"}

got error: multiple memories

{"type":"module","line":495,"filename":"imports.100.wasm"}

loaded

{"type":"module","line":496,"filename":"imports.101.wasm"}

loaded

{"type":"module","line":497,"filename":"imports.102.wasm"}

loaded

{"type":"module","line":498,"filename":"imports.103.wasm"}

loaded

{"type":"module","line":499,"filename":"imports.104.wasm"}

loaded

{"type":"module","line":500,"filename":"imports.105.wasm"}

loaded

{"type":"module","line":501,"filename":"imports.106.wasm"}

loaded

{"type":"module","line":502,"filename":"imports.107.wasm"}

loaded

{"type":"module","line":503,"filename":"imports.108.wasm"}

loaded

{"type":"assert_unlinkable","line":506,"filename":"imports.109.wasm","text":"unknown import"}

todo, assert_unlinkable

{"type":"assert_unlinkable","line":510,"filename":"imports.110.wasm","text":"unknown import"}

todo, assert_unlinkable

{"type":"assert_unlinkable","line":515,"filename":"imports.111.wasm","text":"incompatible import type"}

todo, assert_unlinkable

{"type":"assert_unlinkable","line":519,"filename":"imports.112.wasm","text":"incompatible import type"}

todo, assert_unlinkable

{"type":"assert_unlinkable","line":523,"filename":"imports.113.wasm","text":"incompatible import type"}

todo, assert_unlinkable

{"type":"assert_unlinkable","line":527,"filename":"imports.114.wasm","text":"incompatible import type"}

todo, assert_unlinkable

{"type":"assert_unlinkable","line":532,"filename":"imports.115.wasm","text":"incompatible import type"}

todo, assert_unlinkable

{"type":"assert_unlinkable","line":536,"filename":"imports.116.wasm","text":"incompatible import type"}

todo, assert_unlinkable

{"type":"assert_unlinkable","line":540,"filename":"imports.117.wasm","text":"incompatible import type"}

todo, assert_unlinkable

{"type":"assert_unlinkable","line":544,"filename":"imports.118.wasm","text":"incompatible import type"}

todo, assert_unlinkable

{"type":"assert_unlinkable","line":548,"filename":"imports.119.wasm","text":"incompatible import type"}

todo, assert_unlinkable

{"type":"assert_unlinkable","line":552,"filename":"imports.120.wasm","text":"incompatible import type"}

todo, assert_unlinkable

{"type":"assert_unlinkable","line":557,"filename":"imports.121.wasm","text":"incompatible import type"}

todo, assert_unlinkable

{"type":"assert_unlinkable","line":561,"filename":"imports.122.wasm","text":"incompatible import type"}

todo, assert_unlinkable

{"type":"module","line":565,"filename":"imports.123.wasm"}

loaded

{"type":"assert_return","line":569,"action":{"type":"invoke","field":"grow","args":[{"type":"i32","value":"0"}]},"expected":[{"type":"i32","value":"1"}]}

(assert_return (invoke "grow" (i32.const 0)) (i32.const 1))

ok, result

{"type":"assert_return","line":570,"action":{"type":"invoke","field":"grow","args":[{"type":"i32","value":"1"}]},"expected":[{"type":"i32","value":"1"}]}

(assert_return (invoke "grow" (i32.const 1)) (i32.const 1))

ok, result

{"type":"assert_return","line":571,"action":{"type":"invoke","field":"grow","args":[{"type":"i32","value":"0"}]},"expected":[{"type":"i32","value":"2"}]}

(assert_return (invoke "grow" (i32.const 0)) (i32.const 2))

ok, result

{"type":"assert_return","line":572,"action":{"type":"invoke","field":"grow","args":[{"type":"i32","value":"1"}]},"expected":[{"type":"i32","value":"4294967295"}]}

(assert_return (invoke "grow" (i32.const 1)) (i32.const -1))

error, wrong result, expected 4294967295, got 2

{"type":"assert_return","line":573,"action":{"type":"invoke","field":"grow","args":[{"type":"i32","value":"0"}]},"expected":[{"type":"i32","value":"2"}]}

(assert_return (invoke "grow" (i32.const 0)) (i32.const 2))

error, wrong result, expected 2, got 3

{"type":"module","line":575,"filename":"imports.124.wasm"}

loaded

{"type":"register","line":579,"as":"grown-memory"}

registered

{"type":"assert_return","line":580,"action":{"type":"invoke","field":"grow"},"expected":[{"type":"i32","value":"1"}]}

(assert_return (invoke $Mgm "grow") (i32.const 1)) ;; now size is 2

ok, result

{"type":"module","line":581,"filename":"imports.125.wasm"}

loaded

{"type":"register","line":586,"as":"grown-imported-memory"}

registered

{"type":"assert_return","line":587,"action":{"type":"invoke","field":"grow"},"expected":[{"type":"i32","value":"2"}]}

(assert_return (invoke $Mgim1 "grow") (i32.const 2)) ;; now size is 3

ok, result

{"type":"module","line":588,"filename":"imports.126.wasm"}

loaded

{"type":"assert_return","line":593,"action":{"type":"invoke","field":"size"},"expected":[{"type":"i32","value":"3"}]}

(assert_return (invoke $Mgim2 "size") (i32.const 3))

ok, result

{"type":"assert_malformed","line":599,"filename":"imports.127.wat","text":"import after function"}