Esempi in C# (CSharp) per Tests TestDriver.BuildExtractExpectFailureOrWarnings

Esempio n. 1

File: ExtractorTest.cs Progetto: zhuyue1314/CodeContracts

        public void ExtractorFailures(int testIndex)
        {
            Options options = ExtractorTestData.ElementAt(testIndex);

            options.ContractFramework = @".NetFramework\v4.0";
            options.BuildFramework    = @".NetFramework\v4.0";
            options.FoxtrotOptions    = options.FoxtrotOptions + " /nologo /verbose:4 /iw:-";
            TestDriver.BuildExtractExpectFailureOrWarnings(_testOutputHelper, options);
        }

Esempio n. 2

File: ExtractorTest.cs Progetto: wang-xinhong/CodeContracts

        public void ExtractorFailures()
        {
            var options = new Options(this.TestContext);

            options.ContractFramework = @".NetFramework\v4.0";
            options.BuildFramework    = @".NetFramework\v4.0";
            options.FoxtrotOptions    = options.FoxtrotOptions + " /nologo /verbose:4 /iw:-";
            TestDriver.BuildExtractExpectFailureOrWarnings(options);
        }