From 1b0bf02b3c4a5594c41fdc9ead02fad4cc73ab46 Mon Sep 17 00:00:00 2001
From: Simon Ehrenstein <stu200776@mail.uni-kiel.de>
Date: Thu, 6 Aug 2020 15:14:20 +0200
Subject: [PATCH] Cherry-pick to update docs

---
 execution/README.md | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/execution/README.md b/execution/README.md
index 40ec16179..ec4bc13e8 100644
--- a/execution/README.md
+++ b/execution/README.md
@@ -142,7 +142,9 @@ Depending on your setup, some additional adjustments may be necessary:
 
 ## Execution
 
-The `./theodolite.sh` is the entrypoint for all benchmark executions. Is has to be called as follows:
+Please note that **Python 3.7** installation is required for executing Theodolite.
+
+The `./theodolite.py` is the entrypoint for all benchmark executions. Is has to be called as follows:
 
 ```sh
 ./theodolite.sh <use-case> <wl-values> <instances> <partitions> <cpu-limit> <memory-limit> <commit-interval> <duration> <domain-restriction> <search-strategy>
-- 
GitLab