contracts: Change mpropdef driving
[nit.git] / tests / contracts_add.nit
2019-09-25 Florian Deljarrytests: adding contract testing files