add dev folder for calculating coverage in local environment

jbytecode · Mar 13, 2024 · 501ceee · 501ceee
1 parent 727a930
commit 501ceee
Show file tree

Hide file tree

Showing 2 changed files with 19 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,17 @@
+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"