Exemplos de TestPostconditionInference NullField em C# (CSharp)

Exemplo n.º 1

        public void SomeMethod()
        {
            var tmp = new NullField();

            Contract.Assert(tmp.s != null); // false
        }

Exemplo n.º 2

Arquivo: PostconditionInferenceNonnull.cs Projeto: asvishnyakov/CodeContracts

    public void SomeMethod()
    {
      var tmp = new NullField();

      Contract.Assert(tmp.s != null); // false
    }