Closed jrn90 closed 2 years ago
This is dependent on (potential) work done on: #17. The answer is only px4_sitl
is scanned right now. So there is no difference because neither of these boards are scanned.
The specified configuration options in the *.px4board file ONLY change what code is scanned on a driver / module / app / etc. basis. The whole px4 library which every driver / module / app / etc... depends on is scanned no matter what.
Proper make targets are needed in order to scan whatever firmware you choose.
For a given board and target confguration, for example px4_fmu-v5_default, what code is scanned by cppcheck & clang-tidy vs modalAI_flightcore-v1_default