search

OCamlPro / owi

WebAssembly Swissknife & cross-language bugfinder
https://ocamlpro.github.io/owi/
GNU Affero General Public License v3.0
122 stars 16 forks source link

new test not passing: got: f32.const 0 expected: (f32.const 666.599_975_585_937_5) bad result #280

Closed zapashcanon closed 1 month ago

zapashcanon commented 3 months ago

After #276:

$ owi script --no-exhaustion reference/imports.wast
13
14
42
13
13
13
13
24
25
53
24
24
24
24
13
got:      f32.const 0
expected: (f32.const 666.599_975_585_937_5)
bad result
[3]
epatrizio commented 2 months ago

Here is a minimalist example :

(module
  ;; (global $g (import "spectest" "global_f32") f32) ;; same bug
  (import "spectest" "global_f32" (global f32))
  (func (export "get") (result f32) (global.get 0))
)
(assert_return (invoke "get") (f32.const 666.6))