C# (CSharp) TestPostconditionInference TmpStruct Examples

Example #1

File: Filtering.cs Project: wang-xinhong/CodeContracts

        public static int RemoveSimpleAccess(Tmp t, TmpStruct tstruct, int[] p)
        {
            Contract.Requires(t != null);
            Contract.Requires(p != null);

            int sum = 0;

            for (var i = 0; i < t.arr.Length; i++)
            {
                sum += t.arr[i];
            }

            for (var i = 0; i < tstruct.arr.Length; i++)
            {
                sum += tstruct.arr[i];
            }

            for (var i = 0; i < p.Length; i++)
            {
                sum += p[i];
            }

            return(sum);
        }

Example #2

File: Filtering.cs Project: nbulp/CodeContracts

    public static int RemoveSimpleAccess(Tmp t, TmpStruct tstruct, int[] p)
    {
      Contract.Requires(t != null);
      Contract.Requires(p != null);

      int sum = 0;
      for (var i = 0; i < t.arr.Length; i++)
      {
        sum += t.arr[i];
      }

      for (var i = 0; i < tstruct.arr.Length; i++)
      {
        sum += tstruct.arr[i];
      }

      for (var i = 0; i < p.Length; i++)
      {
        sum += p[i];
      }

      return sum;
    }