run gcov tests via uml