Results sent to Metrics can be downloaded with a batch command. The syntax is the following:
%%%BEGIN SRC%%%
%POLYSPACE_COMMON%\RemoteLauncher\wbin\polyspace-results-repository.exe -verif-version [version] -server [queue manager] -unit-by-unit -prog [project] -download [download results folder]
%%%END SRC%%%
%%%BEGIN SRC%%%
$POLYSPACE_COMMON/RemoteLauncher/bin/polyspace-results-repository.exe -verif-version [version] -server [queue manager] -unit-by-unit -prog [project] -download [download results folder]
%%%END SRC%
Example:
%%%BEGIN SRC%%%
%POLYSPACE_COMMON%\RemoteLauncher\wbin\polyspace-results-repository.exe -verif-version "1.0 (8)" -server myserver -unit-by-unit -prog MyProject -download C:\results
%%%END SRC%%%
If the results are for an integration project, replace -unit-by-unit by -integration