From c67ea64fc8c35a7fcd9c7352864c0188e04de9d3 Mon Sep 17 00:00:00 2001
From: dgelessus <dgelessus@users.noreply.github.com>
Date: Tue, 30 Jul 2024 22:40:08 +0200
Subject: [PATCH] Remove unused -testscript option that does nothing
The code related to "Ivo's testscript" was removed in 2014 - see
991212c71f497a8c71e8f122519198b1e3a52d82 and
b9012aff82bd89e918e36b8a12776d66f419b304.
---
src/main/java/de/tlc4b/TLC4B.java | 1 -
src/main/java/de/tlc4b/TLC4BGlobals.java | 11 -----------
src/main/java/de/tlc4b/TLC4BOption.java | 1 -
3 files changed, 13 deletions(-)
diff --git a/src/main/java/de/tlc4b/TLC4B.java b/src/main/java/de/tlc4b/TLC4B.java
index bbf7295..06137bf 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 b72fb81..51f03f5 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 f88f0e7..902ae72 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),
--
GitLab