tests/sav/contracts_add.res

   1 contracts_add.nit:46,3--17: Useless contract: No contract defined at the introduction of the method
   2 Runtime error: Assert 'ensures' failed (contracts_add.nit:39)