a_star: don't crash on deserialization errors and limit static types
[nit.git] / tests / sav / base_div_by_zero.res
1 base_div_by_zero.nit:17,16--20: Warning: division by zero.
2 0
3 5
4 inf
5 0