how to verify C/C++ multi-thread project (pthread library) using polyspace

Hi all,

Could someone tell me how to verify C/C++ multi-thread project (pthread library) using polyspace, please? The polyspace compiler always reports like "identifier 'pthread_mutex_init' is undefined, identifier 'pthread_create' is undefined". The project platform is ARM cortex A7/ARM linux.

Thanks!

BR,

Tiandong Wang