From 28973c7f02bf1d7da5509821b2b4b3b459402609 Mon Sep 17 00:00:00 2001
From: Jan Gruteser <jan.gruteser@hhu.de>
Date: Wed, 24 Jul 2024 12:34:21 +0200
Subject: [PATCH] make coverage optional due to slowdown in newer TLC versions
---
src/main/java/de/tlc4b/TLC4B.java | 1 +
src/main/java/de/tlc4b/TLC4BCliOptions.java | 3 ++-
src/main/java/de/tlc4b/Translator.java | 5 +++--
3 files changed, 6 insertions(+), 3 deletions(-)
diff --git a/src/main/java/de/tlc4b/TLC4B.java b/src/main/java/de/tlc4b/TLC4B.java
index 68662fb..fcfd24d 100644
--- a/src/main/java/de/tlc4b/TLC4B.java
+++ b/src/main/java/de/tlc4b/TLC4B.java
@@ -281,6 +281,7 @@ public class TLC4B {
TLC4BGlobals.setCreateTraceFile(!line.hasOption(NOTRACE.arg()));
TLC4BGlobals.setDeleteOnExit(line.hasOption(DEL.arg()));
TLC4BGlobals.setPartialInvariantEvaluation(line.hasOption(PARINVEVAL.arg()));
+ TLC4BGlobals.setPrintCoverage(line.hasOption(COVERAGE.arg()));
if (line.hasOption(TMP.arg())) {
buildDir = new File(System.getProperty("java.io.tmpdir"));
diff --git a/src/main/java/de/tlc4b/TLC4BCliOptions.java b/src/main/java/de/tlc4b/TLC4BCliOptions.java
index d9fe2e1..bb86ae4 100644
--- a/src/main/java/de/tlc4b/TLC4BCliOptions.java
+++ b/src/main/java/de/tlc4b/TLC4BCliOptions.java
@@ -31,7 +31,8 @@ public class TLC4BCliOptions {
LTLFORMULA("ltlformula", "provide an additional LTL formula", String.class),
VERBOSE("verbose", "put TLC4B in verbose mode", null),
SILENT("silent", "put TLC4B in silent mode", null),
- OUTPUT("output", "provide path for output directory", String.class);
+ OUTPUT("output", "provide path for output directory", String.class),
+ COVERAGE("coverage", "print operation coverage", null);
private final String arg, desc;
private final Class<?> expectsArg;
diff --git a/src/main/java/de/tlc4b/Translator.java b/src/main/java/de/tlc4b/Translator.java
index 4071845..159f167 100644
--- a/src/main/java/de/tlc4b/Translator.java
+++ b/src/main/java/de/tlc4b/Translator.java
@@ -120,8 +120,9 @@ public class Translator {
machineContext.analyseMachine();
this.machineName = machineContext.getMachineName();
- if (machineContext.machineContainsOperations()) {
- TLC4BGlobals.setPrintCoverage(true);
+ // ignore coverage option if machine contains no operations
+ if (!machineContext.machineContainsOperations()) {
+ TLC4BGlobals.setPrintCoverage(false);
}
Typechecker typechecker = new Typechecker(machineContext);
--
GitLab