add dev folder for calculating coverage ratio

jbytecode · Apr 2, 2024 · 1ec1c69 · 1ec1c69
1 parent 457e4fd
commit 1ec1c69
Show file tree

Hide file tree

Showing 2 changed files with 23 additions and 0 deletions.
diff --git a/dev/Project.toml b/dev/Project.toml
@@ -0,0 +1,2 @@
+[deps]
+Coverage = "a2441757-f6aa-5fb2-8edb-039e3f45d037"
diff --git a/dev/coverage.jl b/dev/coverage.jl
@@ -0,0 +1,21 @@
+# Usage:
+# > julia coverage.jl 
+# in terminal
+
+import Pkg 
+
+Pkg.activate("../")
+Pkg.resolve()
+
+import Coverage 
+
+Pkg.test(coverage = true)
+
+tested, total = Coverage.process_folder("../") |> Coverage.get_summary
+
+ratio = tested / total 
+
+Coverage.clean_folder("../")
+
+
+@info "Coverage: $ratio"
Original file line number	Diff line number	Diff line change
		@@ -0,0 +1,2 @@
		[deps]
		Coverage = "a2441757-f6aa-5fb2-8edb-039e3f45d037"