From 6c8a9ee8df61103ab22353164945f7420ab67931 Mon Sep 17 00:00:00 2001
From: Tim Jammer <tim.jammer@tu-darmstadt.de>
Date: Sat, 6 Apr 2024 09:25:31 +0200
Subject: [PATCH] renamed variable

---
 scripts/Infrastructure/Variables.py | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/scripts/Infrastructure/Variables.py b/scripts/Infrastructure/Variables.py
index d49be1525..03bd33895 100644
--- a/scripts/Infrastructure/Variables.py
+++ b/scripts/Infrastructure/Variables.py
@@ -7,7 +7,7 @@ ERROR_MARKER_COMMENT_END = "/*MBBERROR_END*/"
 # The List of  Features considered
 featurelist = ["P2P", "COLL", "RMA", "TOOL"]
 
-BASE_TEST_LEVEL=1
+BASIC_TEST_LEVEL=1
 SUFFICIENT_TEST_LEVEL=2
 FULL_TEST_LEVEL=3
 
-- 
GitLab