platin: write cache-hits into report file

t-crest · Sep 19, 2014 · e1f405c · e1f405c
1 parent 78bb690
commit e1f405c
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/tools/platin/lib/tools/wcet.rb b/tools/platin/lib/tools/wcet.rb
@@ -344,6 +344,7 @@ def summarize_results(additional_info = {})
         'source' => te.origin,
         'cycles' => te.cycles }
       te.attributes.select { |k,v| k.start_with? 'cache-misses' }.each { |k,v| dict[k] = v }
+      te.attributes.select { |k,v| k.start_with? 'cache-hits' }.each { |k,v| dict[k] = v }
       te.attributes.select { |k,v| k.start_with? 'cache-cycles' }.each { |k,v| dict[k] = v }
       (additional_info[te.origin] || []).each { |k,v| dict[k] = v }
       dict