Polyspace Code Prover incremental/delta analysis

Hi,

is there an option to run Polyspace Code Prover only for changes since the last baseline/commit (basically for files that only changed since the last baseline/commit) ?

This would be crucial to decrease analysis time.

The only adjusting screws for analysis time I know are precision level (-O0, -O1 etc.), verification level (pass0, pass1 etc.) and CPU core count (max-processes option).

We set up PSCP for now locally but the goal is to run it in the CI pipeline and shorter pipeline runs are of course preferred.