Update get_perf.py

This commit is contained in:
David Rotermund 2023-01-15 03:02:07 +01:00 committed by GitHub
parent 82c8754d71
commit 4a0cd3409a
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

View file

@ -15,7 +15,7 @@ filename:str = "def.json"
with open(filename) as json_file: with open(filename) as json_file:
minified = jsmin(json_file.read()) minified = jsmin(json_file.read())
data = json.loads(minified) data = json.loads(minified)
number_of_spikes = data["number_of_spikes"]
# ------------------------------- # -------------------------------