https://github.com/Microsoft/CodeContracts
Revision d06cd1e2e1c0144ea52635c19a8ce8bcc1cb3383 authored by Yaakov on 03 February 2016, 22:43:53 UTC, committed by Yaakov on 03 February 2016, 22:43:53 UTC
The static analyzer cannot prove anything about `field` when the compiler has generated the call to Expression.Field when translating Linq expressions into code. Fixes #301.
1 parent d350e5f
Tip revision: d06cd1e2e1c0144ea52635c19a8ce8bcc1cb3383 authored by Yaakov on 03 February 2016, 22:43:53 UTC
Comment out statically-unprovable contracts.
Comment out statically-unprovable contracts.
Tip revision: d06cd1e
| File | Mode | Size |
|---|---|---|
| .nuget | ||
| Common | ||
| Demo | ||
| Documentation | ||
| ExperimentalTools | ||
| Foxtrot | ||
| Microsoft.Research | ||
| Microsoft.VisualStudio.CodeTools | ||
| System.Compiler | ||
| .gitattributes | -rw-r--r-- | 57 bytes |
| .gitignore | -rw-r--r-- | 3.2 KB |
| CCR.sln | -rw-r--r-- | 33.1 KB |
| CONTRIBUTING.md | -rw-r--r-- | 5.9 KB |
| CodeContracts.sln | -rw-r--r-- | 80.4 KB |
| CodeContracts10.vsmdi | -rw-r--r-- | 186.5 KB |
| FoxtrotTestRun.testrunconfig | -rw-r--r-- | 1.1 KB |
| LICENSE.txt | -rw-r--r-- | 1.1 KB |
| Local.testsettings | -rw-r--r-- | 1.1 KB |
| README.md | -rw-r--r-- | 2.5 KB |
| TraceAndTestImpact.testsettings | -rw-r--r-- | 6.0 KB |
| appveyor.yml | -rw-r--r-- | 1.1 KB |
| build.bat | -rw-r--r-- | 52 bytes |
| buildCC.bat | -rw-r--r-- | 681 bytes |
| oob.sln | -rw-r--r-- | 148.9 KB |
Computing file changes ...
