Add URL to CPV

Currently it points to a Zenodo record as the tool repository is not public yet.
sosy-lab · Nov 1, 2023 · 81caa29 · 81caa29
1 parent c75aecf
commit 81caa29
Showing 1 changed file with 1 addition and 0 deletions.
diff --git 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 = [