我在Windows 7 x64bit版本上使用VS2010,.Net 4.0。
我从这里http://research.microsoft.com/en-us/projects/pex/y2kmoles.zip下载了样本Y2kMoles。
但我无法让它发挥作用。
[TestMethod]
[HostType("Moles")]
public void Y2k()
{
MDateTime.NowGet = () => new DateTime(2000,1,1);
if(DateTime.Now == new DateTime(2000,1,1))
throw new Exception("y2k bug!!!!");
}
我一直收到以下错误:
使用HostType属性跳过测试。
有什么想法吗?