diff --git a/src/main/java/de/tlc4b/TLC4B.java b/src/main/java/de/tlc4b/TLC4B.java
index bbf72952d5c5ca86041ae3f9630d0a8c61fdfe57..06137bf6d15edc5b0f5ea9899315e0fae92e7fdc 100644
--- a/src/main/java/de/tlc4b/TLC4B.java
+++ b/src/main/java/de/tlc4b/TLC4B.java
@@ -285,7 +285,6 @@ public class TLC4B {
 			TLC4BGlobals.setTool(!line.hasOption(TOOL.arg()));
 			TLC4BGlobals.setCheckltl(!line.hasOption(NOLTL.arg()));
 			TLC4BGlobals.setForceTLCToEvalConstants(!line.hasOption(LAZYCONSTANTS.arg()));
-			TLC4BGlobals.setRunTestscript(line.hasOption(TESTSCRIPT.arg()));
 			TLC4BGlobals.setCreateTraceFile(!line.hasOption(NOTRACE.arg()));
 			TLC4BGlobals.setDeleteOnExit(line.hasOption(DEL.arg()));
 			TLC4BGlobals.setPartialInvariantEvaluation(line.hasOption(PARINVEVAL.arg()));
diff --git a/src/main/java/de/tlc4b/TLC4BGlobals.java b/src/main/java/de/tlc4b/TLC4BGlobals.java
index b72fb81bb4888c0674209855716c7efd2f67c49e..51f03f578b252674c9ab3e3d975cd4d2812b5128 100644
--- a/src/main/java/de/tlc4b/TLC4BGlobals.java
+++ b/src/main/java/de/tlc4b/TLC4BGlobals.java
@@ -30,8 +30,6 @@ public class TLC4BGlobals {
 	private static int workers;
 	private static int dfid_initial_depth;
 
-	private static boolean runTestscript;
-
 	static {
 		resetGlobals();
 	}
@@ -65,7 +63,6 @@ public class TLC4BGlobals {
 		hideTLCConsoleOutput = false; // is mapped to TOOLIO.tool
 		deleteFilesOnExit = false; // if enabled: deletes all created '.tla', '.cfg' files on exit of the JVM.
 			// This includes the created B2TLA standard modules (e.g. Relation, but not Naturals etc.).
-		runTestscript = false;
 		createTraceFile = true;
 	}
 
@@ -77,14 +74,6 @@ public class TLC4BGlobals {
 		TLC4BGlobals.createTraceFile = createTraceFile;
 	}
 
-	public static boolean isRunTestscript() {
-		return runTestscript;
-	}
-
-	public static void setRunTestscript(boolean runTestscript) {
-		TLC4BGlobals.runTestscript = runTestscript;
-	}
-
 	public static int getDEFERRED_SET_SIZE() {
 		return DEFERRED_SET_SIZE;
 	}
diff --git a/src/main/java/de/tlc4b/TLC4BOption.java b/src/main/java/de/tlc4b/TLC4BOption.java
index f88f0e70046a80f918da6f85a74465c8bdcc8e12..902ae7200d6ab941db1760e78418e6db898df0c0 100644
--- a/src/main/java/de/tlc4b/TLC4BOption.java
+++ b/src/main/java/de/tlc4b/TLC4BOption.java
@@ -13,7 +13,6 @@ public enum TLC4BOption {
 	TMP("tmp", "", null),
 	NOLTL("noltl", "no checking of LTL assertions", null),
 	LAZYCONSTANTS("lazyconstants", "", null),
-	TESTSCRIPT("testscript", "", null),
 	NOTRACE("notrace", "do not generate counter example trace", null),
 	DEL("del", "", null),
 	PARINVEVAL("parinveval", "", null),