diff --git a/benchexec/tools/predatorhp.py b/benchexec/tools/predatorhp.py index d3dfb991b..3e327bb72 100644 --- a/benchexec/tools/predatorhp.py +++ b/benchexec/tools/predatorhp.py @@ -13,7 +13,7 @@ class Tool(benchexec.tools.template.BaseTool2): """ Wrapper for a Predator - Hunting Party - http://www.fit.vutbr.cz/research/groups/verifit/tools/predator-hp/ + https://www.fit.vutbr.cz/research/groups/verifit/tools/predatorhp/ """ def executable(self, tool_locator):