check_annotation: adding no_contract
[nit.git] / tests / test_nitunit4 / test_baz.res
1 Bad result file