From 470cfa6c4e846a421df3f98a2a92af443fb78b3f Mon Sep 17 00:00:00 2001 From: hunteraraujo Date: Sun, 24 Sep 2023 22:30:37 -0700 Subject: [PATCH] Fix issue with decoding metrics JSON --- frontend/lib/models/benchmark/metrics.dart | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/frontend/lib/models/benchmark/metrics.dart b/frontend/lib/models/benchmark/metrics.dart index b428415d..6500aed9 100644 --- a/frontend/lib/models/benchmark/metrics.dart +++ b/frontend/lib/models/benchmark/metrics.dart @@ -49,7 +49,9 @@ class Metrics { difficulty: json['difficulty'] ?? "", success: json['success'], attempted: json['attempted'], - successPercentage: json['success_percentage'].toDouble() ?? 0.0, + successPercentage: (json['success_percentage'] != null) + ? json['success_percentage'].toDouble() + : 0.0, cost: json['cost'] ?? "", runTime: json['run_time'] ?? "", );