test/example/find_div0s.txt

(module
  (memory 0)
  (func $has_div_zero
    (i32.div_s
      (i32.const 5)
      (i32.const 0)
    )
  )
)
We found that (i32.const 5) is divided by zero