contracts: change the contract syntax
[nit.git] / tests / sav / nitcs / fixme / base_covar_int_alt1.res
1 true
2 true
3 false
4 true
5 true