Merge: Contract: Change mpropdef driving
[nit.git] / tests / sav / test_explain_assert_alt12.res
1 Runtime assert: 4 isa MyClass
2 Runtime error: Assert failed (alt/test_explain_assert_alt12.nit:49)