text

goblint · Jan 5, 2023 · f3d9453 · f3d9453
1 parent f52a227
commit f3d9453
Showing 1 changed file with 3 additions and 1 deletion.
diff --git a/docs/artifact-descriptions/esop23.md b/docs/artifact-descriptions/esop23.md
@@ -1,10 +1,12 @@
 # ESOP '23 Artifact Description
 
 This is the artifact description for our ESOP '23 paper "Clustered Relational Thread-Modular Abstract Interpretation with Local Traces".
-<!-- The artifact is available from Zenodo [here](TODO: Update URL). -->
+The artifact is available from Zenodo at [here](TODO: Update URL).
 
 The artifact is a VirtualBox Image based on Ubuntu 22.04.1. The login is `goblint:goblint`.
 
+For convenience this file is also included in the VM (at `~analyzer/docs/artifact-descriptions/esop23.md`) in order to be able to copy commands.
+
 <!-- If you are reading these instructions on goblint.readthedocs.io, they might have been updated to match the current version of Goblint.
 When using the artifact, follow the similar instructions it includes. -->