Merge: Contract: Change mpropdef driving
[nit.git] / tests / sav / test_explain_assert_alt11.res
1 Runtime assert: not 1 == 1
2 Runtime error: Assert failed (alt/test_explain_assert_alt11.nit:48)