search

nitlang / nit

Nit language
http://nitlanguage.org
Apache License 2.0
238 stars 64 forks source link

Collections: Add contract usage #2796

Open Delja opened 4 years ago

Delja commented 4 years ago

This pr add contract usage in lib/core/collection. All assert that was used as a pre-post condition are replaced by contracts expects ensures.