Closed PhilippWendler closed 7 years ago
On Skylake CPUs the tool fails because of an unknown machine model. The relevant identifiers for modern CPUs can be found in the Linux kernel.
Seems to be working with https://github.com/sosy-lab/power-gadget_benchexec/commit/dd5dc2c5c012ca8b83740dc56a0270e7b4d076b0
On Skylake CPUs the tool fails because of an unknown machine model. The relevant identifiers for modern CPUs can be found in the Linux kernel.