test/example/find_div0s.txt


1
2
3
4
5
6
7
8
9
10

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