mdsol/crichton-dotnet — pull request #35 by kenyamat (2014-07-01 09:28:36+00:00)
Title: [NRTM] Implemented guard clauses using Code Contracts

just confirm CI.