Unhandled Exception [v1.4.40602.0]

Question

For every project in solution I get this exception:

------ Build started: Project: DIInfrastructure, Configuration: Debug Any CPU ------
CodeContracts: DIInfrastructure: Run static contract analysis.
CodeContracts: DIInfrastructure: Static contract analysis done.
 EnsureContractReferenceAssemblies: D:\MyDev\VseTendery\code\vs\Commons\AndreyTitov.Commons\bin\Debug\AndreyTitov.Commons.dll
CodeContracts: DIInfrastructure: Unhandled Exception: System.ArgumentException: The specified store provider cannot be found in the configuration, or is not valid. ---> System.ArgumentException: Unable to find the requested .Net Framework Data Provider. It may not be installed.
CodeContracts: DIInfrastructure:  at System.Data.Common.DbProviderFactories.GetFactory(String providerInvariantName)
CodeContracts: DIInfrastructure:  at System.Data.EntityClient.EntityConnection.GetFactory(String providerString)
CodeContracts: DIInfrastructure:  --- End of inner exception stack trace ---
CodeContracts: DIInfrastructure:  at System.Data.EntityClient.EntityConnection.GetFactory(String providerString)
CodeContracts: DIInfrastructure:  at System.Data.EntityClient.EntityConnection.ChangeConnectionString(String newConnectionString)
CodeContracts: DIInfrastructure:  at System.Data.EntityClient.EntityConnection..ctor(String connectionString)
CodeContracts: DIInfrastructure:  at Microsoft.Research.CodeAnalysis.SQLServerCompactCacheDataAccessor.OpenConnection(Boolean silent)
CodeContracts: DIInfrastructure:  at Microsoft.Research.CodeAnalysis.SQLServerCompactCacheDataAccessor.GetMetadataOrNull(String key, Boolean silent)
CodeContracts: DIInfrastructure:  at Microsoft.Research.CodeAnalysis.CacheManager`11..ctor(Dictionary`2 methodAnalyses, Dictionary`2 classAnalyses, GeneralOptions options)
CodeContracts: DIInfrastructure:  at Microsoft.Research.CodeAnalysis.CacheManager`11.Create(Dictionary`2 dictionary, Dictionary`2 dictionary_2, GeneralOptions generalOptions)
CodeContracts: DIInfrastructure:  at Microsoft.Research.CodeAnalysis.Clousot.TypeBinder`9..ctor(String[] args, IDecodeMetaData`9 mdDecoder, IDecodeContracts`5 contractDecoder, IDictionary assemblyCache, Action`3 setTargetPlatform)
CodeContracts: DIInfrastructure:  at Microsoft.Research.CodeAnalysis.Clousot.ClousotMain[Local,Parameter,Method,Field,Property,Event,Type,Attribute,Assembly](String[] args, IDecodeMetaData`9 mdDecoder, IDecodeContracts`5 contractDecoder, IDictionary assemblyCache, Action`3 setTargetPlatform)
CodeContracts: DIInfrastructure:  at Microsoft.Research.CodeAnalysis.CCI1Driver.Main(String[] args)
CodeContracts: DIInfrastructure: 

On other machine this solution builds fine.

Answer 1

it seems a problem with the cache. if you uncheck the cache results does the error goes away? Can you send me a little repro?

Thanks!

f

Answer 2

On my machine, I can't even see the "Code Contracts" text on as the tab name.
But you can click on the empty tab for "Code Contracts", this error message is there.

An error occurred trying to load the page.
Class not registered.  Looking for object with CLSID: {1F89CA21-E885-439D-92F5-C36ABE518593}.

This happens for all projects/solutions.

Answer 3

I have the same problem. Did you find any solution to the problem?

---

- Sanny

Answer 4

Do you see this problem with the latest version?

f