<a href="https://visualstudiogallery.msdn.microsoft.com/1ec7db13-3363-46c9-851f-1ce455f66970" data-mce-href="https://visualstudiogallery.msdn.microsoft.com/1ec7db13-3363-46c9-851f-1ce455f66970">Code Contracts for .NET extension</a> Code Contracts for .NET extension Visual Studioの拡張機能Code Contracts拡張…