add dev folder for calculating coverage in local environment

jbytecode · Mar 18, 2024 · e18b034 · e18b034
1 parent e5735ac
commit e18b034
Show file tree

Hide file tree

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