1 2 3 4 5
;;; TOOL: run-spec-wasm2c ;;; STDIN_FILE: third_party/testsuite/float_misc.wast (;; STDOUT ;;; 470/470 tests passed. ;;; STDOUT ;;)