public void Slice2Analyze2ParallelFromSourcesV40()
{
var options = GrabTestOptions("Slice2Analyze2ParallelFromSourcesV40");
options.BuildFramework = @".NETFramework\v4.0";
options.ContractFramework = @".NETFramework\v4.0";
options.ClousotOptions += " -sliceFirst";
if (!options.Skip)
{
TestDriver.BuildAndAnalyze2Slicing(options);
}
}
public void Slice2Analyze2SequentialFromSourcesV40WithDiskCache()
{
var options = GrabTestOptions("Slice2Analyze2SequentialFromSourcesV40");
options.BuildFramework = @".NETFramework\v4.0";
options.ContractFramework = @".NETFramework\v4.0";
options.ClousotOptions += " -sliceFirst -workers:1 -clearcache -cache";
if (!options.Skip)
{
TestDriver.BuildAndAnalyze2Slicing(options);
}
}
public void Slice2Analyze2FastSequentialFromSourcesV40()
{
var options = GrabTestOptions("Slice2Analyze2FastSequentialFromSourcesV40");
options.BuildFramework = @".NETFramework\v4.0";
options.ContractFramework = @".NETFramework\v4.0";
options.ClousotOptions += " -sliceFirst -workers:1";
options.Fast = true;
if (!options.Skip)
{
TestDriver.BuildAndAnalyze2Slicing(options);
}
}