polyspace 2012b critical section

In Polyspace R2012b what is the use of critical section ? How PS verifies it in the code?
If the critical section is called inside a wrapper will it be effective ?

回答(1 个)

Hi !
You will find information on the critical section in R2012b by following this link:
Since you want to use wrappers, you can use the wrapper functions as parameters of the critical section options.
Best regards,
Alexandre

类别

在 帮助中心 和 File Exchange 中查找有关 Troubleshooting in Polyspace Products for Ada 的更多信息

Community Treasure Hunt

Find the treasures in MATLAB Central and discover how the community can help you!

Start Hunting!

Translated by