# DYLD_FRAMEWORK_PATH=... .../jsc -m --useWebAssembly=1 ./spec-tests//f32.wast.js
Exception: Error: Unreachable code should not be executed (evaluating '$$.exports["assert_0"]()')
Same thing for:
I looked into this and it seems related to NaN handling. The spec tests try to validate NaNs are handled properly and compare their values.
The bug could be:
- In our code
- In the spec tests (they're not currently up to date, see https://github.com/WebAssembly/spec/pull/414)
- In the code that translates .wast -> .wast.js
This is unlikely to be important for the near future, so I'll ignore it for now. Maybe we can just comment out the "assert_[0-9]+" invocations for now, and revisit when we update the tests.