How to add array to constants in Polyspace Code Prover ?

In our code we have constants and calibration and it’s values are defined in .cpp file.

When we run code prover, its creating a functions for constants and calibrations in main created by polyspace.

We tried DRS too but we have some constant/calibration which are of array type and DRS does not have option to provide array values.

We want to include constant/calibration so polyspace takes their exact values.