C# (CSharp) TestPostconditionInference NullField示例

示例#1

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

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

示例#2

文件： PostconditionInferenceNonnull.cs 项目： asvishnyakov/CodeContracts

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

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