Type in tool name

sosy-lab · Oct 21, 2024 · 546ddad · 546ddad
1 parent b0a4c31
commit 546ddad
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/benchexec/tools/racerf.py b/benchexec/tools/racerf.py
@@ -14,7 +14,7 @@
 
 class Tool(BaseTool2):
     """
-    Tool info for Racer-F, a data race detection plugin of Frama-C.
+    Tool info for RacerF, a data race detection plugin of Frama-C.
     """
 
     def name(self):