minor fixes to milli

verus-lang · Aug 21, 2024 · 2c904df · 2c904df
1 parent 7db4abd
commit 2c904df
Show file tree

Hide file tree

Showing 2 changed files with 6 additions and 1 deletion.
diff --git a/milli/run.sh b/milli/run.sh
@@ -11,4 +11,3 @@ docker exec verus-sosp24-milli /bin/bash setup/verifiers.sh
 
 docker exec verus-sosp24-milli /bin/bash experiments.sh $1
 
-docker rm verus-sosp24-milli
diff --git a/site/guide.md b/site/guide.md
@@ -106,6 +106,12 @@ cd /mydata/verus-sosp24-artifact/milli
 bash run.sh 2
 ```
 
+When the experiments complete, stop and delete the container:
+
+```shell
+docker rm -f verus-sosp24-milli
+```
+
 **TODO.** Result plots.
 
 **TODO.** Interpreting results.
Original file line number	Diff line number	Diff line change
Expand Up		@@ -11,4 +11,3 @@ docker exec verus-sosp24-milli /bin/bash setup/verifiers.sh

		docker exec verus-sosp24-milli /bin/bash experiments.sh $1

		docker rm verus-sosp24-milli