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