Make snapshot diffs smaller

verus-lang · Mar 28, 2024 · 3ee0a1e · 3ee0a1e
1 parent 5ebfb0e
commit 3ee0a1e
Show file tree

Hide file tree

Showing 2 changed files with 15 additions and 4 deletions.
diff --git a/examples/get_latest_verus_syntax_rs.sh b/examples/get_latest_verus_syntax_rs.sh
diff --git a/examples/verus-snapshot/get_latest.sh b/examples/verus-snapshot/get_latest.sh
@@ -33,5 +33,20 @@ for path in $MOVE_PATHS; do
     fi
 done
 
+# Until these files are formatted on Verus `main`, we want to just manually
+# reformat it locally, to minimize the diff for the snapshots
+FORCE_REFORMAT_PATHS="source/rust_verify/example/syntax.rs"
+if [ "$FORCE_REFORMAT_PATHS" != "" ]; then
+    echo "[INFO] Reformatting paths not yet already formatted within Verus 'main'"
+    for path in $FORCE_REFORMAT_PATHS; do
+        echo "       ... $path"
+        if [ -d "$path" ]; then
+            find "$path" -name '*.rs' -exec verusfmt {} \;
+        else
+            verusfmt "$path"
+        fi
+    done
+fi
+
 echo "[INFO] Cleaning up"
 rm -rf verus-main verus.zip