Undelete main.jl

2026-02-12 02:56:59 +08:00 · 2020-08-04 17:07:12 +02:00
parent 9d5ffc5655
commit d2bbf07e54
1 changed files with 11 additions and 0 deletions
--- a/main.jl
+++ b/main.jl
@@ -0,0 +1,11 @@
+using Pkg
+
+Pkg.activate("coveragetempenv", shared=true)
+
+Pkg.add(PackageSpec(name="CoverageTools"))
+
+using CoverageTools
+
+pf = process_folder()
+
+LCOV.writefile("lcov.info", pf)