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); } }