print coverage statistics

src/main/java/de/tlc4b/TLC4BGlobals.java

@@ -14,6 +14,7 @@ public class TLC4BGlobals {
 	private static boolean proBconstantsSetup;
 	private static boolean partialInvariantEvaluation;
 	private static boolean useSymmetry;
+	private static boolean printCoverage;
 
 	private static boolean deleteFilesOnExit;
 
@@ -49,6 +50,7 @@ public class TLC4BGlobals {
 		checkWD = false;
 		partialInvariantEvaluation = false;
 		useSymmetry = false;
+		printCoverage = false;
 		setForceTLCToEvalConstants(true);
 
 		setProBconstantsSetup(false);
@@ -248,4 +250,12 @@ public class TLC4BGlobals {
 		useSymmetry = b;
 	}
 	
+	public static void setPrintCoverage(boolean b){
+		printCoverage = b;
+	}
+	
+	public static boolean isPrintCoverage(){ 
+		return printCoverage;
+	}
+
 }

src/main/java/de/tlc4b/TLCRunner.java

@@ -104,6 +104,12 @@ public class TLCRunner {
 			list.add("" + TLC4BGlobals.getWorkers());
 		}
 		
+		if(TLC4BGlobals.isPrintCoverage()){
+			list.add("-nowarning");
+			list.add("-coverage");
+			list.add(""+ 100);
+		}
+
 		//list.add("-config");
 		//list.add(machineName + ".cfg");
 		list.add(machineName);

src/main/java/de/tlc4b/Translator.java

@@ -111,6 +111,10 @@ public class Translator {
 		MachineContext machineContext = new MachineContext(machineName, start,
 				ltlFormula, constantsSetup);
 		this.machineName = machineContext.getMachineName();
+		if(machineContext
+				.machineContainsOperations()){
+			TLC4BGlobals.setPrintCoverage(true);
+		}
 
 		Typechecker typechecker = new Typechecker(machineContext);
 		UnchangedVariablesFinder unchangedVariablesFinder = new UnchangedVariablesFinder(
@@ -155,7 +159,8 @@ public class Translator {
 		TLAPrinter printer = new TLAPrinter(machineContext, typechecker,
 				unchangedVariablesFinder, precedenceCollector, usedModules,
 				typeRestrictor, generator.getTlaModule(),
-				generator.getConfigFile(), primedNodesMarker, renamer, invariantPreservationAnalysis);
+				generator.getConfigFile(), primedNodesMarker, renamer,
+				invariantPreservationAnalysis);
 		printer.start();
 		moduleString = printer.getStringbuilder().toString();
 		configString = printer.getConfigString().toString();
@@ -201,5 +206,4 @@ public class Translator {
 		return translatedLTLFormula;
 	}
 
-	
 }

src/main/java/de/tlc4b/analysis/MachineContext.java

@@ -1090,6 +1090,10 @@ public class MachineContext extends DepthFirstAdapter {
 		return invariantMachineClause;
 	}
 
+	public boolean machineContainsOperations() {
+		return operations.size() > 0;
+	}
+
 	public AInitialisationMachineClause getInitialisationMachineClause() {
 		return initialisationMachineClause;
 	}