contracts: change the contract syntax
[nit.git] / tests / sav / fixme / base_isa_cast4_alt5.res
2015-04-15 Jean Privattests: update sav with new error messages
2015-04-14 Jean Privattests: update sav for existing tests
2012-10-22 Jean Privattests: update the sav/ for nitg ang niti