From e091c7892bf3a3cd3c2927487dc9db1c58e8d43c Mon Sep 17 00:00:00 2001
From: Philipp Wendler <uni@philippwendler.de>
Date: Thu, 24 Oct 2024 15:41:13 +0200
Subject: [PATCH] Normalize line endings

Fixes #1092
---
 benchexec/tools/jcwit.py | 92 ++++++++++++++++++++--------------------
 1 file changed, 46 insertions(+), 46 deletions(-)

diff --git a/benchexec/tools/jcwit.py b/benchexec/tools/jcwit.py
index 917e303e2..fe76ffd71 100644
--- a/benchexec/tools/jcwit.py
+++ b/benchexec/tools/jcwit.py
@@ -1,46 +1,46 @@
-# This file is part of BenchExec, a framework for reliable benchmarking:
-# https://github.com/sosy-lab/benchexec
-#
-# SPDX-FileCopyrightText: 2007-2020 Dirk Beyer <https://www.sosy-lab.org>
-#
-# SPDX-License-Identifier: Apache-2.0
-
-import benchexec.tools.template
-import benchexec.result as result
-
-
-class Tool(benchexec.tools.template.BaseTool2):
-    """
-    Tool info for jcwit
-    """
-
-    def executable(self, tool_locator):
-        return tool_locator.find_executable("jcwit.py")
-
-    def version(self, executable):
-        return self._version_from_tool(executable)
-
-    def name(self):
-        return "jcwit"
-
-    def project_url(self):
-        return "https://github.com/Chriszai/JCWIT"
-
-    def cmdline(self, executable, options, task, rlimits):
-        return [executable] + options + list(task.input_files)
-
-    def determine_result(self, run):
-        for line in run.output:
-            if (
-                "Witness result: Unknown" in line
-                or "Witness validation: Unknown" in line
-            ):
-                return result.RESULT_UNKNOWN
-
-            if "Witness result: False" in line or "Witness validation: False" in line:
-                return result.RESULT_FALSE_PROP
-
-            if "Witness validation: True" in line:
-                return result.RESULT_TRUE_PROP
-
-        return result.RESULT_ERROR
+# This file is part of BenchExec, a framework for reliable benchmarking:
+# https://github.com/sosy-lab/benchexec
+#
+# SPDX-FileCopyrightText: 2007-2020 Dirk Beyer <https://www.sosy-lab.org>
+#
+# SPDX-License-Identifier: Apache-2.0
+
+import benchexec.tools.template
+import benchexec.result as result
+
+
+class Tool(benchexec.tools.template.BaseTool2):
+    """
+    Tool info for jcwit
+    """
+
+    def executable(self, tool_locator):
+        return tool_locator.find_executable("jcwit.py")
+
+    def version(self, executable):
+        return self._version_from_tool(executable)
+
+    def name(self):
+        return "jcwit"
+
+    def project_url(self):
+        return "https://github.com/Chriszai/JCWIT"
+
+    def cmdline(self, executable, options, task, rlimits):
+        return [executable] + options + list(task.input_files)
+
+    def determine_result(self, run):
+        for line in run.output:
+            if (
+                "Witness result: Unknown" in line
+                or "Witness validation: Unknown" in line
+            ):
+                return result.RESULT_UNKNOWN
+
+            if "Witness result: False" in line or "Witness validation: False" in line:
+                return result.RESULT_FALSE_PROP
+
+            if "Witness validation: True" in line:
+                return result.RESULT_TRUE_PROP
+
+        return result.RESULT_ERROR