mirror of
https://github.com/QuantumLeaps/qpc.git
synced 2025-01-21 06:53:11 +08:00
31 lines
987 B
Plaintext
31 lines
987 B
Plaintext
|
About this Example
|
||
|
|
==================
|
||
|
|
This directory contains the facilities for "linting" the application with
|
||
|
|
PC-Lint.
|
||
|
|
|
||
|
|
To "lint" the application, invoke the batch "lin.bat" without parameters.
|
||
|
|
Optionally, you can supply the parameter -DQ_SPY to include the QS
|
||
|
|
instrumentation in the "linting" process.
|
||
|
|
|
||
|
|
The output from the "linting" is saved in the fle "lin_out.txt".
|
||
|
|
|
||
|
|
***
|
||
|
|
NOTE: You need to adjust the symbol PC_LINT_DIR at the top of the
|
||
|
|
lin.bat file, to point to the directory where PC-Lint is installed
|
||
|
|
on you machine.
|
||
|
|
***
|
||
|
|
|
||
|
|
|
||
|
|
The PC-Lint Options File
|
||
|
|
========================
|
||
|
|
The "options.lnt" file specifies the linting options. You might need
|
||
|
|
to modify this file to suit your needs.
|
||
|
|
|
||
|
|
|
||
|
|
****
|
||
|
|
NOTE: The purpose of this example is NOT to find problems with the
|
||
|
|
supporting 3rd-party code, which every non-trivial embedded system needs.
|
||
|
|
Rather, the purpose of this particular example is to check YOUR application
|
||
|
|
level code, such as state machines.
|
||
|
|
****
|