search

JHU-PL-Lab / sato

Sato, the Symbolic Analysis Typechecker for Odefa, dynamically locates type errors using demand-driven symbolic execution.
3 stars 0 forks source link

Div by zero #1

Closed kelvinqian00 closed 4 years ago

kelvinqian00 commented 4 years ago

Add divide by zero as one of the "extra errors" we want to add