Я использую VS2010, .Net 4.0 в 64-битной версии Windows 7.
Я скачал образец Y2kMoles отсюда http://research.microsoft.com/en-us/projects/pex/y2kmoles.zip.
Но я не могу заставить его работать.
[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.
Есть идеи?