Change assertion to proper error message

Addresses: #1078 (comment)
sosy-lab · Oct 24, 2024 · 43888c1 · 43888c1
1 parent 4f18b79
commit 43888c1
Showing 1 changed file with 5 additions and 3 deletions.
diff --git a/benchexec/tools/cpachecker.py b/benchexec/tools/cpachecker.py
@@ -188,9 +188,11 @@ def option_present(option):
                         task.input_files_or_empty,
                     )
                 )
-                assert (
-                    len(possible_witness_files) == 1
-                ), f"Expected exactly one witness file, but found {len(possible_witness_files)}: {possible_witness_files}"
+                if len(possible_witness_files) != 1:
+                    raise benchexec.tools.template.UnsupportedFeatureException(
+                        f"Expected exactly one witness file, but found {len(possible_witness_files)}: {possible_witness_files}"
+                    )
+
                 options += [f"{prefix}witness", possible_witness_files[0]]
             else:
                 raise benchexec.tools.template.UnsupportedFeatureException(