[polyspace Code Prover]: unit by unit mode and integration

Hello ,

I want to know how to set the polyspace Code prover to have a unit by unit mode and also the integration mode

for the unit by unit mode , it includes the unit test or not ? and what are those unit test results given by Polyspace ?

for the integration test I suppose there is no unit test approach

thank you very much