Development Log

  • CodePeer
    Apr 17th, 2017

    Improved handling of pragma Assume
    CodePeer now takes into account pragma Assume and will no longer generate messages about the possibility that the condition of an Assume (as opposed to Assert) pragma may yield "false".