Versions Compared

Key

  • This line was added.
  • This line was removed.
  • Formatting was changed.

...

Tool

Version

Checker

Description

Parasoft C/C++test

Include Page
Parasoft_V
Parasoft_V

BD-TRS-DSTRLOCK, BD-TRS-REVLOCKImplemented

Polyspace Bug Finder

R2016b

Include Page
Polyspace Bug Finder_V
Polyspace Bug Finder_V

Destruction of locked mutexTask tries to destroy a mutex in the locked state

...