Revision 971780c2

b/trunk/Pithos.Network/CloudFilesClient.cs
212 212
                throw new InvalidOperationException("ApiKey is empty");
213 213
            if (String.IsNullOrWhiteSpace(AuthenticationUrl))
214 214
                throw new InvalidOperationException("AuthenticationUrl is empty");
215
            Contract.Ensures(!String.IsNullOrWhiteSpace(Token));
216
            Contract.Ensures(StorageUrl != null);
217
            Contract.Ensures(_baseClient != null);
218
            Contract.Ensures(RootAddressUri != null);
215
            //Contract.Ensures(!String.IsNullOrWhiteSpace(Token));
216
            //Contract.Ensures(StorageUrl != null);
217
            //Contract.Ensures(_baseClient != null);
218
            //Contract.Ensures(RootAddressUri != null);
219 219
            Contract.EndContractBlock();
220 220

  
221 221

  
b/trunk/Pithos.Network/Pithos.Network.csproj
25 25
    <DefineConstants>DEBUG;TRACE</DefineConstants>
26 26
    <ErrorReport>prompt</ErrorReport>
27 27
    <WarningLevel>4</WarningLevel>
28
    <CodeContractsEnableRuntimeChecking>False</CodeContractsEnableRuntimeChecking>
29
    <CodeContractsRuntimeOnlyPublicSurface>False</CodeContractsRuntimeOnlyPublicSurface>
28
    <CodeContractsEnableRuntimeChecking>True</CodeContractsEnableRuntimeChecking>
29
    <CodeContractsRuntimeOnlyPublicSurface>True</CodeContractsRuntimeOnlyPublicSurface>
30 30
    <CodeContractsRuntimeThrowOnFailure>True</CodeContractsRuntimeThrowOnFailure>
31 31
    <CodeContractsRuntimeCallSiteRequires>False</CodeContractsRuntimeCallSiteRequires>
32 32
    <CodeContractsRuntimeSkipQuantifiers>False</CodeContractsRuntimeSkipQuantifiers>
......
47 47
    <CodeContractsExtraAnalysisOptions />
48 48
    <CodeContractsBaseLineFile />
49 49
    <CodeContractsCacheAnalysisResults>False</CodeContractsCacheAnalysisResults>
50
    <CodeContractsRuntimeCheckingLevel>Full</CodeContractsRuntimeCheckingLevel>
50
    <CodeContractsRuntimeCheckingLevel>Preconditions</CodeContractsRuntimeCheckingLevel>
51 51
    <CodeContractsReferenceAssembly>Build</CodeContractsReferenceAssembly>
52 52
    <CodeContractsAnalysisWarningLevel>0</CodeContractsAnalysisWarningLevel>
53 53
    <PlatformTarget>AnyCPU</PlatformTarget>

Also available in: Unified diff