Minor tweak

verus-lang · Dec 28, 2023 · 9dbb5ca · 9dbb5ca
1 parent 3bc784b
commit 9dbb5ca
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/examples/verus-system-notes.txt b/examples/verus-system-notes.txt
@@ -70,6 +70,7 @@ git clone https://github.com/microsoft/verified-storage.git
 
 Format:
 ```
+for f in `ls ~/git/verus-systems-code/verified-storage/pmemlog/src/*.rs `; do cargo run  -- $f || break ; done
 ```
 
 Verify: