Does DySy require Pex 0.8.31021.3?

Dec 8, 2009 at 3:27 PM

It seems the case, as I encountered the error below (I ran pex on the program http://pex.codeplex.com/SourceControl/changeset/view/18435#318903).

Is it possible for me to obtain the older version of Pex (or newer version of Dysy?) Thanks.

 

Kin

 

 

C:\tmp>csc /r:"c:\Program Files\Microsoft Pex\PublicAssemblies\Microsoft.Pex.Fra

mework.dll" /r:"c:\Program Files\Microsoft Pex\bin\DySy.dll" /t:library /debug Program.cs

Microsoft (R) Visual C# 2008 Compiler version 3.5.30729.1

for Microsoft (R) .NET Framework version 3.5

Copyright (C) Microsoft Corporation. All rights reserved.

 

c:\Program Files\Microsoft Pex\bin\DySy.dll: warning CS1701: Assuming assembly

        reference 'Microsoft.Pex.Framework, Version=0.8.31021.3,

        Culture=neutral, PublicKeyToken=76a274db078248c8' matches

        'Microsoft.Pex.Framework, Version=0.19.41110.1, Culture=neutral,

        PublicKeyToken=76a274db078248c8', you may need to supply runtime policy

c:\Program Files\Microsoft Pex\PublicAssemblies\Microsoft.Pex.Framework.dll:

        (Location of symbol related to previous warning)

 

C:\tmp>pex Program.dll

Microsoft Pex v0.19.41110.1 -- http://research.microsoft.com/pex

Copyright (c) Microsoft Corporation 2007-2009. All rights reserved.

 

instrumenting... launched Pex 0.19.41110.1 x86 Edition on .NET v2.0.50727

00:00:00.0> starting execution

  00:00:00.6> reflecting tests

    !error! [reflection] System.IO.FileNotFoundException: Could not load file or

 assembly 'Microsoft.Pex.Framework, Version=0.8.31021.3, Culture=neutral, Public

KeyToken=76a274db078248c8' or one of its dependencies. The system cannot find th

e file specified. at assembly Program

    !error! [reflection] System.IO.FileNotFoundException: Could not load file or

 assembly 'Microsoft.Pex.Framework, Version=0.8.31021.3, Culture=neutral, Public

KeyToken=76a274db078248c8' or one of its dependencies. The system cannot find th

e file specified. at type DySy.Examples.Program

    !error! [metadata] unexpected exception while loading explorations

    [symbols] could not load symbols for c:\WINDOWS\Microsoft.NET\Framework\v2.0

.50727\mscorlib.dll

    [symbols] search path:

 

00:00:11.5> [finished] execution time 00:00:11.5666320.

        -- 0 critical errors, 3 errors, 0 warnings.

        -- 0 generated tests, 0 failing, 0 new, 0 inconclusive.

 

[coverage] generating coverage reports...

[reports] generating reports...

[reports] report path: reports\91208.105323.1936.pex

[reports] html report: reports\91208.105323.1936.pex\report.html

 

  EXPLORATION FAILED

        LAUNCHER FAILED

error description: ReflectionError (-1011)