Code Contracts User Manual Microsoft Corporation January 8, 2012 What’s New? • Section 6.6.4 describes the inference options What was new? • Section 6.6.9 describes…
