From 4e1152fbe59fdb231224ccb31e3247507c2e6156 Mon Sep 17 00:00:00 2001 From: Tim Holy Date: Mon, 23 Nov 2020 05:10:50 -0600 Subject: [PATCH] Avoid failing on source-file parsing errors Fixes #299. I'm not certain this is desirable, but... --- src/CoverageTools.jl | 6 +++++- 1 file changed, 5 insertions(+), 1 deletion(-) diff --git a/src/CoverageTools.jl b/src/CoverageTools.jl index 5172bde..9667b9b 100644 --- a/src/CoverageTools.jl +++ b/src/CoverageTools.jl @@ -237,7 +237,11 @@ module CoverageTools coverage = process_cov(filename, folder) fc = FileCoverage(filename, read(filename, String), coverage) if get(ENV, "DISABLE_AMEND_COVERAGE_FROM_SRC", "no") != "yes" - amend_coverage_from_src!(fc) + try + amend_coverage_from_src!(fc) + catch err + @error "coverage could not incorporate source file $filename, it may have a parsing error" exception=err + end end return fc end