Document: More complete value definition

sosy-lab · Dec 31, 2023 · a328998 · a328998
1 parent ac67572
commit a328998
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/benchexec/result.py b/benchexec/result.py
@@ -34,7 +34,7 @@
 
 CATEGORY_MISSING = "missing"
 """BenchExec could not determine whether run result was correct or wrong
-because no property was defined, and no other categories apply."""
+because no property was defined, no expected result was defined, and no other categories apply."""
 
 # categorization of a witness of a run result
 # 'valid' and 'invalid' refer to whether the witness type matches the expected result.