public void Analyze2FromSourcesV35Cache() { var options = GrabTestOptions("Analyze2FromSourcesV35Cache"); options.BuildFramework = @"v3.5"; options.ContractFramework = @"v3.5"; if (!options.Skip) { TestDriver.BuildAndAnalyze2(options); } }
public void Analyze2FastSequentialFromSourcesV40Cache() { var options = GrabTestOptions("Analyze2FastSequentialFromSourcesV40Cache"); options.BuildFramework = @".NETFramework\v4.0"; options.ContractFramework = @".NETFramework\v4.0"; options.Fast = true; if (!options.Skip) { TestDriver.BuildAndAnalyze2(options); } }