We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
1 parent 455f359 commit 18aa23dCopy full SHA for 18aa23d
1 file changed
docs/artifact-descriptions/pldi25.md
@@ -7,7 +7,6 @@ The artifact is available on [Zenodo](https://zenodo.org/records/15245617).
7
8
**The description here is provided for convenience and not maintained.**
9
The artifact contains Goblint at `pldi25_eval_runtime` and `pldi25_eval_stats` git tags.
10
-The source code repository is available at <https://github.com/tum-cit-pl/precision-recovery-mixed-flowsens-benchmarks>.
11
12
For convenience, this file is also included in the VM (at `~/precision-recovery-mixed-flowsens-benchmarks/README.md`) to be able to copy commands.
13
0 commit comments