;;; TOOL: run-interp-spec
;;; STDIN_FILE: third_party/testsuite/float_exprs.wast
(;; STDOUT ;;;
init(i32:0, f32:15.100000) =>
init(i32:4, f32:15.200000) =>
init(i32:8, f32:15.300000) =>
init(i32:12, f32:15.400000) =>
run(i32:16, f32:3.000000) =>
init(i32:0, f64:15.100000) =>
init(i32:8, f64:15.200000) =>
init(i32:16, f64:15.300000) =>
init(i32:24, f64:15.400000) =>
run(i32:32, f64:3.000000) =>
804/804 tests passed.
;;; STDOUT ;;)