locked
What is 'Redundant Assumptions' ? RRS feed

  • Question

  • Hi,

    What's the purpose of the option 'Redundant Assumptions'  ?
    I didn't find anything about that in the documentation ...

    Thx and regards
    Manfred
    Wednesday, February 17, 2010 7:54 PM

Answers

  • Hi Manfred,

    The 'Redundant Assumptions' options, activates a check, if the Contract.Assume calls can be proven.
    This check is so that you know if the assumes are still necessary for the static checker, or can be removed/replaced by asserts.
    Friday, April 9, 2010 10:07 AM