modify armadilloHelper

4 jobs for adi-dev
Status Job ID Name Coverage
  Linux
canceled #663289
BranchJobLinux

canceled #663271
BranchJobLinux

failed #662863
BranchJobLinux

 
  Windows
skipped #662864
Windows10
BranchJobWindows