From 9628bb38897440a96722c6d22347dc762ddaf3a8 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Ricardo=20Montan=CC=83ana?= Date: Fri, 11 Mar 2022 11:50:29 +0100 Subject: [PATCH] Add flush to write experiments results --- src/Experiments.py | 1 + 1 file changed, 1 insertion(+) diff --git a/src/Experiments.py b/src/Experiments.py index 7cc744a..791a034 100644 --- a/src/Experiments.py +++ b/src/Experiments.py @@ -279,6 +279,7 @@ class Experiment: output["results"] = self.results with open(self.output_file, "w") as f: json.dump(output, f) + f.flush() def do_experiment(self): now = time.time()