| ;;; 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) => | |
| 800/800 tests passed. | |
| ;;; STDOUT ;;) |