Merge: Contract: Change mpropdef driving
[nit.git] / tests / base_isa_formal_type.nit
2014-07-23 Jean Privattests: update for VT check
2012-04-16 Jean Privattests: add some base tests