nitlanguage
/
nit.git
/ blob
commit
grep
author
committer
pickaxe
?
search:
re
fedb42c390c4e6ef2fe5c08a45dccde4f308fdf9
[nit.git]
/
tests
/
sav
/
contracts_ensures_5.res
1
Runtime error: Assert 'ensures' failed (contracts_ensures_5.nit:29)