Report from ContractOk tool execution under DotNetExtensionsImproved #3
Description
Hi developer of DotNetExtensionsImproved,
I have used this unit as input for a conformance checking tool called: ContractOk - https://github.com/alyssonfm/contractok, and ContractOk was able to detect some nonconformances between source code and its contracts. This report: https://drive.google.com/file/d/0B-nGK4FS2Et9OXlnU2dzV01IRkU/view?pref=2&pli=1 shows all nonconformances detected and presents a set of suggestions for fixing the problems.
A version of this unit updated by the fixing sugestions is available here: https://drive.google.com/file/d/0B3jqf6hjutsdSklKUjRkVTRKLTA/view?usp=sharing
If you have any question, contact me at: alyssonfilgueira at copin.ufcg.edu.br