nitlanguage.org >> Repos - nit.git/blob - tests/sav/contracts_ensures_sequence.res

nitlanguage / nit.git / blob

e462610e04d5a82fee2c8cd5704e8402171ff5ce

[nit.git] / tests / sav / contracts_ensures_sequence.res

1 Runtime error: Assert 'ensures' failed (contracts_ensures_sequence.nit:18)

Nit language project; an oo programing language and its tool suite.