Revision c87a1e4f trunk/Pithos.Network/Pithos.Network.csproj

b/trunk/Pithos.Network/Pithos.Network.csproj
12 12
    <AssemblyName>Pithos.Network</AssemblyName>
13 13
    <TargetFrameworkVersion>v4.0</TargetFrameworkVersion>
14 14
    <FileAlignment>512</FileAlignment>
15
    <CodeContractsAssemblyMode>0</CodeContractsAssemblyMode>
15
    <CodeContractsAssemblyMode>1</CodeContractsAssemblyMode>
16 16
    <TargetFrameworkProfile>Client</TargetFrameworkProfile>
17 17
    <SolutionDir Condition="$(SolutionDir) == '' Or $(SolutionDir) == '*Undefined*'">..\</SolutionDir>
18 18
    <RestorePackages>true</RestorePackages>
......
51 51
    <CodeContractsReferenceAssembly>Build</CodeContractsReferenceAssembly>
52 52
    <CodeContractsAnalysisWarningLevel>0</CodeContractsAnalysisWarningLevel>
53 53
    <PlatformTarget>AnyCPU</PlatformTarget>
54
    <CodeContractsMissingPublicRequiresAsWarnings>True</CodeContractsMissingPublicRequiresAsWarnings>
55
    <CodeContractsInferRequires>True</CodeContractsInferRequires>
56
    <CodeContractsInferEnsures>False</CodeContractsInferEnsures>
57
    <CodeContractsInferObjectInvariants>False</CodeContractsInferObjectInvariants>
58
    <CodeContractsSuggestAssumptions>False</CodeContractsSuggestAssumptions>
59
    <CodeContractsSuggestRequires>True</CodeContractsSuggestRequires>
60
    <CodeContractsSuggestEnsures>False</CodeContractsSuggestEnsures>
61
    <CodeContractsSuggestObjectInvariants>False</CodeContractsSuggestObjectInvariants>
62
    <CodeContractsSQLServerOption />
63
    <CodeContractsFailBuildOnWarnings>False</CodeContractsFailBuildOnWarnings>
54 64
  </PropertyGroup>
55 65
  <PropertyGroup Condition=" '$(Configuration)|$(Platform)' == 'Release|AnyCPU' ">
56 66
    <DebugType>pdbonly</DebugType>

Also available in: Unified diff