Comment clarification

uuverifiers · Feb 12, 2024 · d9cccea · d9cccea
1 parent 896579e
commit d9cccea
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/src/tricera/Main.scala b/src/tricera/Main.scala
@@ -466,8 +466,8 @@ class Main (args: Array[String]) {
           if (useMemCleanupForMemTrack &&
               propertiesToCheck.contains(properties.MemValidTrack)) {
             /**
-             *  memtrack expected might be 'sat', but we check for
-             *  valid-cleanup, which might return unsat
+             *  memtrack expected is 'sat', but TriCera encodes the stronger
+             *  property valid-cleanup, which might be 'unsat'.
              */
             "unknown"
           } else "sat"