From d27ee153136e07c38bddec5fea598b7a91032723 Mon Sep 17 00:00:00 2001
From: Dominic Kempf <dominic.kempf@iwr.uni-heidelberg.de>
Date: Fri, 24 Aug 2018 13:21:09 +0200
Subject: [PATCH] Change extension

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

diff --git a/python/dune/perftool/sumfact/vectorization.py b/python/dune/perftool/sumfact/vectorization.py
index 3635b5b2..14b9ba4d 100644
--- a/python/dune/perftool/sumfact/vectorization.py
+++ b/python/dune/perftool/sumfact/vectorization.py
@@ -271,7 +271,7 @@ def level1_optimal_vectorization_strategy(sumfacts, width):
         print("The score in 'target' logic was: {}".format(strategy_cost((qp, optimal_strategies[qp]))))
 
         # Print the employed vectorization strategy into a file
-        filename = "targetstrat_{}.txt".format(int(float(get_form_option("vectorization_target"))))
+        filename = "targetstrat_{}.log".format(int(float(get_form_option("vectorization_target"))))
         with open(filename, 'w') as f:
             f.write("\n".join(stringify_vectorization_strategy((qp, optimal_strategies[qp]))))
 
-- 
GitLab