From 35cc700ba0b6cfc34cde9eaa295b840b482e71f1 Mon Sep 17 00:00:00 2001
From: Sifis Lagouvardos <sifislag@gmail.com>
Date: Thu, 13 Jun 2024 19:50:52 +0300
Subject: [PATCH] Add Metric rels as analytics as well.

---
 gigahorse.py | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/gigahorse.py b/gigahorse.py
index d1e9704e..acb97fff 100755
--- a/gigahorse.py
+++ b/gigahorse.py
@@ -321,7 +321,7 @@ def analyze_contract(index: int, contract_filename: str, result_queue, fact_gene
 def get_gigahorse_analytics(out_dir: str, analytics: dict) -> None:
     for fname in os.listdir(out_dir):
         fpath = join(out_dir, fname)
-        if not fname.startswith('Analytics_'):
+        if not (fname.startswith('Analytics_') or fname.startswith('Metric_')):
             continue
         stat_name = fname.split(".")[0]
         analytics[stat_name] = sum(1 for line in open(join(out_dir, fname)))