compile pexextension error

Jan 27, 2012 at 7:40 AM

错误 1 找不到类型或命名空间名称“SafeIntDictionary”(是否缺少 using 指令或程序集引用?) E:\docs\Colected papers\Loop Invariant\PexExtensions\Sources\DySy\Engine\DySyPathAnalyzer.cs 282 13 DySy (DySy\DySy)

While i compile PexExtension latest version, I run into below problem:

error1: cannot find type or namespace "SafeIntDictionary"(whether lack of using command or assembly?)

 

Jan 30, 2012 at 6:11 AM
robertwang wrote:

错误 1 找不到类型或命名空间名称“SafeIntDictionary”(是否缺少 using 指令或程序集引用?) E:\docs\Colected papers\Loop Invariant\PexExtensions\Sources\DySy\Engine\DySyPathAnalyzer.cs 282 13 DySy (DySy\DySy)

While i compile PexExtension latest version, I run into below problem:

error1: cannot find type or namespace "SafeIntDictionary"(whether lack of using command or assembly?)

 

This has been fixed by replace SafeIntDictionary with SafeInt32Dictionary.

I am running in Windows XP.