From b24e23c662043b922df63c0979824506382e19af Mon Sep 17 00:00:00 2001 From: hansen <dominik_hansen@web.de> Date: Wed, 17 Jun 2015 10:25:58 +0200 Subject: [PATCH] disable TLC's coverage prints --- tlatools/src/tlc2/tool/AbstractChecker.java | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/tlatools/src/tlc2/tool/AbstractChecker.java b/tlatools/src/tlc2/tool/AbstractChecker.java index 1c8d430dc..f1efc827c 100644 --- a/tlatools/src/tlc2/tool/AbstractChecker.java +++ b/tlatools/src/tlc2/tool/AbstractChecker.java @@ -174,7 +174,7 @@ public abstract class AbstractChecker implements Cancelable for (int i = 0; i < skeys.length; i++) { long val = counts.get(skeys[i]); - MP.printMessage(EC.TLC_COVERAGE_VALUE, new String[] { skeys[i].toString(), String.valueOf(val) }); + //MP.printMessage(EC.TLC_COVERAGE_VALUE, new String[] { skeys[i].toString(), String.valueOf(val) }); Location location = locationTable.get(skeys[i]); if(location != null){ OutputCollector.lineCount.put(location, val); -- GitLab