Development Log

  • CodePeer
    Mar 30th, 2011

    Detection of environment task race conditions
    Race condition analysis has been improved so that race conditions involving a main subprogram and its invocation by the anonymous "environment task" are now detected.