Closed PhilippWendler closed 6 years ago
The new name is cpu-energy-meter
. At least the documentation and the name of the binary need to be adapted.
Done in commit 934868cd5b6f3dfb582f6747b7e9b71f0dc8b7fc. The README.md
-file has been updated accordingly.
We must not continue to use the name "Intel Power Gadget". Also this tool is not BenchExec-specific.