Project Description
Path Splitter uses Roslyn to convert a method into a set of methods each equivalent to a distinct execution path. Assume annotations are added for use with Pex.


This project depends on Microsoft "Roslyn" CTP (note that it currently targets the June 2012 release which is not the most recent). This project is intended for use with Pex but can be run without installing Pex. (Note that there is a dependency on Pex, but it can be safely removed as it is only used for a sanity check.)

Last edited Oct 8, 2012 at 6:16 PM by perelman, version 3