none
Does Contract.Require make Contract.Assume redundant?

    Question

  • If I have the following piece of code, is the Contract.Assume part redundant?

    int SampleMethod(int x)

    {

    Contract.Requires(x >= 0);

    Contract.Assume(x >= 0);

    x += 5;

    return x;

    }

    Thursday, January 26, 2017 7:12 AM