From 5bd4dd46a27acd710e567e4e9a015043138881d7 Mon Sep 17 00:00:00 2001
From: Dominic Kempf <dominic.kempf@iwr.uni-heidelberg.de>
Date: Fri, 15 Feb 2019 13:49:23 +0100
Subject: [PATCH] Make sure autotune scores are floats

---
 python/dune/codegen/sumfact/autotune.py | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/python/dune/codegen/sumfact/autotune.py b/python/dune/codegen/sumfact/autotune.py
index 81ac65ba..66477201 100644
--- a/python/dune/codegen/sumfact/autotune.py
+++ b/python/dune/codegen/sumfact/autotune.py
@@ -178,7 +178,7 @@ def generate_standalone_code(sf, filename):
         f.writelines(["  auto stop = Dune::PDELab::TSC::stop();\n",
                       "  std::ofstream file;\n",
                       "  file.open(argv[1]);\n",
-                      "  file << Dune::PDELab::TSC::elapsed(start, stop) / {} << std::endl;\n".format(repeats),
+                      "  file << Dune::PDELab::TSC::elapsed(start, stop) / {} << std::endl;\n".format(str(float(repeats))),
                       "  file.close();\n",
                       "  accum += output[dis(rng)];\n",
                       "  std::cout << accum;\n",
-- 
GitLab