Vtests: change the output format of harnessMap