DySy analysis problem?

Nov 12, 2008 at 3:10 PM
Is anyone else receiving a NullReferenceException when using DySy? I am using Pex 0.8 and Pex Extensions 0.8.

Thanks,
Reid