http://developers.de/blogs/damir_dobric/archive/2009/04/13/tracing-pex-condition-paths.aspxIf you want to now how exactly PEX is solving conditions (dynamic symbol execution) in different braches of your code, then you should take a look on following example. The method SomeMethod has differnet branches. For each branch there is one conditionenCommunityServer 2008 SP1 (Build: 30619.63)