small changes

verus-lang · Aug 21, 2024 · ab11077 · ab11077
1 parent 14e2a8b
commit ab11077
Show file tree

Hide file tree

Showing 2 changed files with 6 additions and 2 deletions.
diff --git a/external-repository-versions.md b/external-repository-versions.md
@@ -55,6 +55,10 @@ Baseline for IronKV.
 
 Commit: `2fe4dcdc323b92e93f759cc3e373521366b7f691`
 
+#### Depends on a different version of Verus:  https://github.com/verus-lang/verus
+
+Commit: `96957b633471e4d5a6bc267f9bf0e31555e888db`
+
 ## Other Verifiers
 
 ### Creusot: https://github.com/creusot-rs/creusot

diff --git a/milli/experiments.sh b/milli/experiments.sh
@@ -12,7 +12,7 @@ mkdir -p results
 sed -i 's/running_provers_max = ./running_provers_max = 1/' /root/.why3.conf
 
 cd linked-list
-python3 oneshot.py > ../results/linked-list-oneshot.tex
+python3 oneshot.py > ../results/linked-list-oneshot.txt
 python3 repeat.py > ../results/linked-list-repeat.csv
 
 sed -i 's/running_provers_max = ./running_provers_max = 8/' /root/.why3.conf
@@ -22,7 +22,7 @@ cd ..
 sed -i 's/running_provers_max = ./running_provers_max = 1/' /root/.why3.conf
 
 cd doubly-linked-list
-python3 oneshot.py > ../results/doubly-linked-list-oneshot.tex
+python3 oneshot.py > ../results/doubly-linked-list-oneshot.txt
 python3 repeat.py > ../results/doubly-linked-list-repeat.csv
 cd ..