leanprover / lean / 4452

96%

master: 85%

push

travis-ci

fix(kernel/expr, kernel/level): if caching is enabled during finalization, these modules would register a finalizer after finalization of the main thread

The deleted lines were not really needed. They were added before we had
the thread finalization code.

149 of 168 branches covered (88.69%)

299 of 313 relevant lines covered (95.53%)

30.96 hits per line