From 4220b8aad517b17761e53834856ce59a69f38d1f Mon Sep 17 00:00:00 2001 From: Simon Hofmann Date: Thu, 9 Nov 2023 10:09:00 +0100 Subject: [PATCH] fix bugs --- src/mnt/benchviewer/backend.py | 6 ++---- .../benchviewer/static/files/MNTBench_all.zip | Bin 188 -> 22 bytes 2 files changed, 2 insertions(+), 4 deletions(-) diff --git a/src/mnt/benchviewer/backend.py b/src/mnt/benchviewer/backend.py index d1603ca..a926ed0 100644 --- a/src/mnt/benchviewer/backend.py +++ b/src/mnt/benchviewer/backend.py @@ -474,8 +474,6 @@ def parse_data(filename: str) -> ParsedBenchmarkName: Return values: parsed_data -- parsed data extracted from filename """ - if "/" in filename: - filename = filename.split("/")[1] if filename.endswith(".fgl"): benchmark = "_".join([file.lower() for file in filename.split("_")[0:-2]]) library = filename.split("_")[-2].lower() @@ -555,7 +553,7 @@ def create_database(zip_file: ZipFile) -> pd.DataFrame: rows_list = [] for filename in zip_file.namelist(): - if (filename.endswith((".fgl", ".v"))) and "__MACOSX" not in filename: + if filename.endswith((".fgl", ".v")): parsed_data = parse_data(filename) rows_list.append(parsed_data) @@ -593,7 +591,7 @@ def handle_github_api_request(repo_url: str) -> requests.Response: if "GITHUB_TOKEN" in os.environ: headers = {"Authorization": f"token {os.environ['GITHUB_TOKEN']}"} - response = requests.get(f"https://api.github.com/repos/simon1hofmann/mntbench/{repo_url}", headers=headers) + response = requests.get(f"https://api.github.com/repos/cda-tum/mnt-bench/{repo_url}", headers=headers) success_code = 200 if response.status_code == success_code: return response diff --git a/src/mnt/benchviewer/static/files/MNTBench_all.zip b/src/mnt/benchviewer/static/files/MNTBench_all.zip index 76a41f585a35cf010e17c08869c0762efa290b7f..15cb0ecb3e219d1701294bfdf0fe3f5cb5d208e7 100644 GIT binary patch literal 22 NcmWIWW@Tf*000g10H*)| literal 188 zcmWIWW@Zs#0D%cb8R1|Cl;CAhVDR+|aZ1fg&WKOU$9*0 qWckX-zyLNPz?+dtgc-MCFvH(Ef>