catch Coverage.jl from dev project rather than the main environment

COMODO-research · Mar 8, 2024 · 7f5cf8e · 7f5cf8e
1 parent d2aba6a
commit 7f5cf8e
Showing 1 changed file with 3 additions and 2 deletions.
diff --git a/dev/coverage.jl b/dev/coverage.jl
@@ -2,12 +2,13 @@
 # > julia coverage.jl 
 # in terminal
 
-import Coverage 
 import Pkg 
 
 Pkg.activate("../")
 Pkg.resolve()
 
+import Coverage 
+
 Pkg.test(coverage = true)
 
 tested, total = Coverage.process_folder("../") |> Coverage.get_summary
@@ -17,4 +18,4 @@ ratio = tested / total
 Coverage.clean_folder("../")
 
 
-@info "Coverate: $ratio"
+@info "Coverage: $ratio"