From 81caa2930623a4c14f25236723b7dcc42cf389d4 Mon Sep 17 00:00:00 2001
From: Po-Chun Chien <po-chun.chien@sosy.ifi.lmu.de>
Date: Wed, 1 Nov 2023 18:25:27 +0100
Subject: [PATCH] Add URL to CPV

Currently it points to a Zenodo record as the tool repository is not public yet.
---
 benchexec/tools/cpv.py | 1 +
 1 file changed, 1 insertion(+)

diff --git a/benchexec/tools/cpv.py b/benchexec/tools/cpv.py
index e474f58c7..110689c66 100644
--- a/benchexec/tools/cpv.py
+++ b/benchexec/tools/cpv.py
@@ -12,6 +12,7 @@
 class Tool(benchexec.tools.template.BaseTool2):
     """
     Tool info for CPV: A circuit-based program verifier for C
+    URL: https://doi.org/10.5281/zenodo.10063681
     """
 
     REQUIRED_PATHS = [