Fix a bug in the output parsing for VVT: the line with the result som…

…etimes contains more details, which did not match the previous check
sosy-lab · Mar 28, 2018 · 60125f5 · 60125f5
1 parent 429e96e
commit 60125f5
Showing 1 changed file with 6 additions and 6 deletions.
diff --git a/benchexec/tools/vvt.py b/benchexec/tools/vvt.py
@@ -52,11 +52,11 @@ def cmdline(self, executable, options, tasks, propertyfile, rlimits):
 
     def determine_result(self, returncode, returnsignal, output, isTimeOut):
         try:
-            if "No bug found.\n" in output:
-                return result.RESULT_TRUE_PROP
-            elif "Bug found:\n" in output:
-                return result.RESULT_FALSE_REACH
-            else:
-                return result.RESULT_UNKNOWN
+            for line in output:
+                if line.startswith("No bug found"):
+                    return result.RESULT_TRUE_PROP
+                elif line.startswith("Bug found:"):
+                    return result.RESULT_FALSE_REACH
+            return result.RESULT_UNKNOWN
         except Exception:
             return result.RESULT_UNKNOWN