cpu brand

gcontini

2020-03-15 6dd7902d6f148a4ac78e5478edb3a2ca8624f74c

 src/library/hw_identifier/hw_identifier_facade.cpp

@@ -67,7 +67,7 @@
         pc_id.set_cloud_provider(exec.getCloudProvider());
      } else {
         os::CpuInfo cpu;
         pc_id.set_virtualization(cpu.getVirtualizationDetail());
         pc_id.set_virtualization(cpu.virtualization_details());
      }
   }
   return pc_id.print();