Skip to content
This repository has been archived by the owner on Jul 15, 2023. It is now read-only.

BCL: System.Type.GetMethods() is missing an ensures #414

Closed
yaakov-h opened this issue May 5, 2016 · 0 comments · Fixed by #426
Closed

BCL: System.Type.GetMethods() is missing an ensures #414

yaakov-h opened this issue May 5, 2016 · 0 comments · Fixed by #426

Comments

@yaakov-h
Copy link
Contributor

yaakov-h commented May 5, 2016

GetMethods(BindingFlags) should have Contract.Ensures(Contract.ForAll(Contract.Result<MethodInfo[]>(), el => el != null)); like the other overload has.
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

Successfully merging a pull request may close this issue.

Fixes for various issues WiseTechGlobal/CodeContracts
1 participant
@yaakov-h