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