remove debug print

epfl-lara · Oct 16, 2024 · 22a05f1 · 22a05f1
1 parent db56b1c
commit 22a05f1
Showing 1 changed file with 0 additions and 1 deletion.
diff --git a/core/src/main/scala/stainless/verification/VerificationCache.scala b/core/src/main/scala/stainless/verification/VerificationCache.scala
@@ -66,7 +66,6 @@ trait VerificationCache extends VerificationChecker { self =>
                   val bytes = MessageDigest.getInstance("SHA-256").digest(serialized.bytes)
                   CacheKey(bytes)
                 }
-      reporter.debug(s"CacheKey size = ${key.content.size} and serialised size = ${serializer.serialize(key.toSeq).bytes.length}")(using DebugSectionVerification)
       if (vccache.contains(key)) {
         reporter.debug(s"Cache hit: '${vc.kind}' VC for ${vc.fid.asString} @${vc.getPos}...")(using DebugSectionVerification)
         given DebugSectionCacheHit.type = DebugSectionCacheHit