This project is read-only.

 

Please DO NOT post any source code in the discussions.

You are also encouraged to join the Microsoft Research Pex mailing list, and if your question is Pex specific you may get a quicker response by posting it directly to that mailing list.

A confusing result of DySy for greatest common divisor algorithm

first post: robertwang wrote: Below is the code of computing greatest common divisor. int...

compile pexextension error

first post: robertwang wrote: 错误 1 找不到类型或命名空间名称"SafeIntDictionary"(是否缺少 using 指令或程序集引用?)E:\docs\C...

latest post: robertwang wrote: robertwang wrote: 错误 1 找不到类型或命名空间名称"SafeIntDictionary"(是否缺少 using ...

Microsoft.Office.Server.Search.dll = Bug?

first post: platypus wrote: Hi!I'm trying to do unit testing on Sharepoint 2010, but I get this...

Does DySy require Pex 0.8.31021.3?

first post: sauter wrote: It seems the case, as I encountered the error below (I ran pex on t...

NullReferenceExceptions not Replicated On Debug

first post: sydneyos wrote: I have suddenly started to get a bunch of NullReferenceExceptions i...

latest post: taoxie wrote: Questions about Pex itself should be posted on the pex forums at ht...

PexEx for Pex 0.9

first post: makka wrote: There is a new build of Pex out there. Does PexEx 0.8 works with t...

DySy analysis problem?

first post: ReidHochstedler wrote: Is anyone else receiving a NullReferenceException when using DySy? ...

PexEx for 0.8?

first post: bbarry wrote: Is there any new build for Pex 0.8 anywhere? Does there need to be ...

latest post: ben2004uk wrote: Hi Barry, Really sorry about the delay in getting the new releas...

Support for MBUnit and NUnit

first post: azamsharp wrote: Does PEX supports MBUnit and NUnit frameworks?

latest post: ben2004uk wrote: Hi, I've updated the wiki page on how to do this (http://www.cod...

Code changes required for Pex 0.6

first post: BKStrelioff wrote: Pex 0.6 and the current (August 15, 2008) version of the extensions...

latest post: BKStrelioff wrote: Changes for DySy have been checked in that allow clean compilation ...