Add cloc.sh

mit-pdos · Dec 16, 2024 · 1c16be0 · 1c16be0
1 parent b7e414c
commit 1c16be0
Showing 1 changed file with 5 additions and 0 deletions.
diff --git a/src/program_proof/tulip/cloc.sh b/src/program_proof/tulip/cloc.sh
@@ -0,0 +1,5 @@
+#!/bin/bash
+
+cloc --include-lang=Coq . ../rsm/pure ../rsm/big_sep.v
+
+# TODO: Print more fine-grained info about proof size