public void Analyze1FromSourcesV35Cache()
{
var options = GrabTestOptions("Analyze1FromSourcesV35Cache");
options.BuildFramework = @"v3.5";
options.ContractFramework = @"v3.5";
if (!options.Skip)
{
TestDriver.BuildAndAnalyze(options);
}
}
//[TestMethod] -- fails
public void Analyze1FromSourcesV40AgainstV35ContractsCache()
{
var options = GrabTestOptions("Analyze1FromSourcesV40AgainstV35ContractsCache");
options.BuildFramework = @".NETFramework\v4.0";
options.ContractFramework = @"v3.5";
if (!options.Skip)
{
TestDriver.BuildAndAnalyze(ConsoleTestOutputHelper.Instance, options);
}
}
public void Analyze1FromSourcesV40AgainstV35Contracts()
{
var options = GrabTestOptions("Analyze1FromSourcesV40AgainstV35Contracts");
options.BuildFramework = @".NETFramework\v4.0";
options.ContractFramework = @"v3.5";
if (!options.Skip)
{
TestDriver.BuildAndAnalyze(options);
}
}
//[DeploymentItem(@"Microsoft.Research\RegressionTest\ClousotTests\ClousotTestInputs.xml"), DataSource("Microsoft.VisualStudio.TestTools.DataSource.XML", "|DataDirectory|\\ClousotTestInputs.xml", "TestRun", DataAccessMethod.Sequential)]
//[TestMethod]
public void Analyze1Z3FromSourcesV35()
{
var options = GrabTestOptions("Analyze1Z3FromSourcesV35");
options.BuildFramework = @"v3.5";
options.ContractFramework = @"v3.5";
options.ClousotOptions += " -useZ3";
if (!options.Skip)
{
TestDriver.BuildAndAnalyze(options);
}
}
