search

nunchaku-inria / nunchaku

Model finder for higher-order logic
https://nunchaku-inria.github.io/nunchaku/
BSD 2-Clause "Simplified" License
42 stars 3 forks source link

warning for partially defined functions #25

Open c-cube opened 6 years ago

c-cube commented 6 years ago

in Elim_multi_eqns, emit warning if some cases are undefined (and print corresponding input pattern)