;;; TOOL: run-interp-spec
;;; STDIN_FILE: third_party/testsuite/int_exprs.wast
(;; STDOUT ;;;
out/test/spec/int_exprs.wast:113: assert_trap passed: integer divide by zero
out/test/spec/int_exprs.wast:114: assert_trap passed: integer divide by zero
out/test/spec/int_exprs.wast:115: assert_trap passed: integer divide by zero
out/test/spec/int_exprs.wast:116: assert_trap passed: integer divide by zero
out/test/spec/int_exprs.wast:132: assert_trap passed: integer divide by zero
out/test/spec/int_exprs.wast:133: assert_trap passed: integer divide by zero
out/test/spec/int_exprs.wast:134: assert_trap passed: integer divide by zero
out/test/spec/int_exprs.wast:135: assert_trap passed: integer divide by zero
out/test/spec/int_exprs.wast:196: assert_trap passed: integer divide by zero
out/test/spec/int_exprs.wast:197: assert_trap passed: integer divide by zero
out/test/spec/int_exprs.wast:198: assert_trap passed: integer divide by zero
out/test/spec/int_exprs.wast:199: assert_trap passed: integer divide by zero
out/test/spec/int_exprs.wast:349: assert_trap passed: integer overflow
out/test/spec/int_exprs.wast:350: assert_trap passed: integer overflow
89/89 tests passed.
;;; STDOUT ;;)