public void Slice2Analyze1ParallelFromSourcesV40()
{
var options = GrabTestOptions("Slice2Analyze1ParallelFromSourcesV40");
options.BuildFramework = @".NETFramework\v4.0";
options.ContractFramework = @".NETFramework\v4.0";
options.ClousotOptions += " -sliceFirst";
if (!options.Skip)
{
TestDriver.BuildAndAnalyze1Slicing(options);
}
}
