14% clib/backtrace.ml
75% clib/bigint.ml
66% clib/cArray.ml
83% clib/cEphemeron.ml
89% clib/cList.ml
59% clib/cMap.ml
6% clib/cObj.ml
0% clib/cSet.ml
41% clib/cStack.ml
86% clib/cString.ml
40% clib/cThread.ml
42% clib/cUnix.ml
94% clib/diff2.ml
70% clib/dyn.ml
72% clib/exninfo.ml
70% clib/hMap.ml
91% clib/hashcons.ml
83% clib/hashset.ml
93% clib/heap.ml
15% clib/iStream.ml
16% clib/int.ml
66% clib/minisys.ml
77% clib/monad.ml
73% clib/option.ml
100% clib/orderedType.ml
56% clib/predicate.ml
56% clib/range.ml
94% clib/segmenttree.ml
83% clib/store.ml
33% clib/terminal.ml
71% clib/trie.ml
72% clib/unicode.ml
100% clib/unicodetable.ml
90% clib/unionfind.ml
83% engine/eConstr.ml
100% engine/evar_kinds.ml
95% engine/evarutil.ml
90% engine/evd.ml
92% engine/ftactic.ml
67% engine/logic_monad.ml
86% engine/namegen.ml
55% engine/nameops.ml
86% engine/proofview.ml
44% engine/proofview_monad.ml
68% engine/termops.ml
94% engine/uState.ml
94% engine/univGen.ml
94% engine/univMinim.ml
97% engine/univNames.ml
60% engine/univProblem.ml
61% engine/univSubst.ml
100% engine/univops.ml
100% gramlib/gramext.ml
78% gramlib/grammar.ml
100% gramlib/plexing.ml
71% gramlib/ploc.ml
100% interp/constrexpr.ml
64% interp/constrexpr_ops.ml
81% interp/constrextern.ml
89% interp/constrintern.ml
100% interp/decls.ml
100% interp/deprecation.ml
91% interp/dumpglob.ml
86% interp/genintern.ml
92% interp/impargs.ml
89% interp/implicit_quantifiers.ml
72% interp/modintern.ml
84% interp/notation.ml
82% interp/notation_ops.ml
100% interp/notation_term.ml
89% interp/numTok.ml
61% interp/reserve.ml
80% interp/smartlocate.ml
100% interp/stdarg.ml
96% interp/syntax_def.ml
87% kernel/cClosure.ml
50% kernel/cPrimitives.ml
64% kernel/cbytecodes.ml
93% kernel/cbytegen.ml
90% kernel/cemitcodes.ml
81% kernel/clambda.ml
69% kernel/constr.ml
77% kernel/context.ml
71% kernel/conv_oracle.ml
99% kernel/cooking.ml
100% kernel/copcodes.ml
88% kernel/csymtable.ml
100% kernel/declarations.ml
86% kernel/declareops.ml
100% kernel/entries.ml
90% kernel/environ.ml
57% kernel/esubst.ml
100% kernel/evar.ml
94% kernel/indTyping.ml
95% kernel/indtypes.ml
88% kernel/inductive.ml
69% kernel/inferCumulativity.ml
85% kernel/mod_subst.ml
90% kernel/mod_typing.ml
91% kernel/modops.ml
83% kernel/names.ml
1% kernel/nativecode.ml
10% kernel/nativeconv.ml
1% kernel/nativelambda.ml
7% kernel/nativelib.ml
0% kernel/nativelibrary.ml
7% kernel/nativevalues.ml
92% kernel/opaqueproof.ml
90% kernel/primred.ml
87% kernel/reduction.ml
100% kernel/retroknowledge.ml
90% kernel/retypeops.ml
94% kernel/safe_typing.ml
94% kernel/section.ml
84% kernel/sorts.ml
92% kernel/subtyping.ml
56% kernel/term.ml
91% kernel/term_typing.ml
100% kernel/transparentState.ml
39% kernel/type_errors.ml
86% kernel/typeops.ml
85% kernel/uGraph.ml
76% kernel/uint63.ml
87% kernel/univ.ml
96% kernel/vars.ml
59% kernel/vconv.ml
58% kernel/vm.ml
74% kernel/vmvalues.ml
90% lib/acyclicGraph.ml
71% lib/aux_file.ml
62% lib/cAst.ml
75% lib/cErrors.ml
4% lib/cProfile.ml
89% lib/cWarnings.ml
42% lib/control.ml
61% lib/coqProject_file.ml
100% lib/dAst.ml
47% lib/envars.ml
44% lib/explore.ml
65% lib/feedback.ml
70% lib/flags.ml
76% lib/future.ml
74% lib/genarg.ml
100% lib/hook.ml
91% lib/loc.ml
73% lib/pp.ml
86% lib/pp_diff.ml
79% lib/remoteCounter.ml
67% lib/rtree.ml
38% lib/spawn.ml
88% lib/stateid.ml
73% lib/system.ml
58% lib/util.ml
74% library/coqlib.ml
91% library/global.ml
77% library/globnames.ml
81% library/goptions.ml
80% library/lib.ml
77% library/libnames.ml
85% library/libobject.ml
79% library/nametab.ml
94% library/states.ml
81% library/summary.ml
72% parsing/cLexer.ml
100% parsing/extend.ml
93% parsing/g_constr.ml
93% parsing/g_prim.ml
100% parsing/notation_gram.ml
55% parsing/notgram_ops.ml
92% parsing/pcoq.ml
57% parsing/ppextend.ml
42% parsing/tok.ml
80% plugins/ltac/coretactics.ml
62% plugins/ltac/evar_tactics.ml
55% plugins/ltac/extraargs.ml
57% plugins/ltac/extratactics.ml
62% plugins/ltac/g_auto.ml
53% plugins/ltac/g_class.ml
100% plugins/ltac/g_eqdecide.ml
83% plugins/ltac/g_ltac.ml
57% plugins/ltac/g_obligations.ml
56% plugins/ltac/g_rewrite.ml
88% plugins/ltac/g_tactic.ml
100% plugins/ltac/pltac.ml
46% plugins/ltac/pptactic.ml
86% plugins/ltac/profile_ltac.ml
62% plugins/ltac/profile_ltac_tactics.ml
80% plugins/ltac/rewrite.ml
100% plugins/ltac/tacarg.ml
74% plugins/ltac/taccoerce.ml
86% plugins/ltac/tacentries.ml
85% plugins/ltac/tacenv.ml
100% plugins/ltac/tacexpr.ml
93% plugins/ltac/tacintern.ml
88% plugins/ltac/tacinterp.ml
74% plugins/ltac/tacsubst.ml
33% plugins/ltac/tactic_debug.ml
98% plugins/ltac/tactic_matching.ml
87% plugins/ltac/tactic_option.ml
90% plugins/ssr/ssrbwd.ml
79% plugins/ssr/ssrcommon.ml
88% plugins/ssr/ssrelim.ml
86% plugins/ssr/ssrequality.ml
91% plugins/ssr/ssrfwd.ml
89% plugins/ssr/ssripats.ml
57% plugins/ssr/ssrparser.ml
45% plugins/ssr/ssrprinters.ml
87% plugins/ssr/ssrtacticals.ml
26% plugins/ssr/ssrvernac.ml
92% plugins/ssr/ssrview.ml
93% pretyping/arguments_renaming.ml
94% pretyping/cases.ml
87% pretyping/cbv.ml
85% pretyping/classops.ml
77% pretyping/coercion.ml
87% pretyping/constr_matching.ml
65% pretyping/detyping.ml
82% pretyping/evarconv.ml
92% pretyping/evardefine.ml
95% pretyping/evarsolve.ml
87% pretyping/find_subterm.ml
78% pretyping/geninterp.ml
97% pretyping/globEnv.ml
68% pretyping/glob_ops.ml
100% pretyping/glob_term.ml
53% pretyping/heads.ml
92% pretyping/indrec.ml
80% pretyping/inductiveops.ml
69% pretyping/keys.ml
100% pretyping/locus.ml
81% pretyping/locusops.ml
100% pretyping/ltac_pretype.ml
2% pretyping/nativenorm.ml
100% pretyping/pattern.ml
54% pretyping/patternops.ml
72% pretyping/pretype_errors.ml
94% pretyping/pretyping.ml
80% pretyping/program.ml
90% pretyping/recordops.ml
78% pretyping/reductionops.ml
78% pretyping/retyping.ml
88% pretyping/tacred.ml
80% pretyping/typeclasses.ml
100% pretyping/typeclasses_errors.ml
89% pretyping/typing.ml
86% pretyping/unification.ml
93% pretyping/vnorm.ml
54% printing/genprint.ml
86% printing/ppconstr.ml
23% printing/pputils.ml
68% printing/prettyp.ml
83% printing/printer.ml
85% printing/printmod.ml
49% printing/proof_diffs.ml
87% proofs/clenv.ml
90% proofs/clenvtac.ml
67% proofs/evar_refiner.ml
88% proofs/goal.ml
72% proofs/goal_select.ml
80% proofs/logic.ml
27% proofs/miscprint.ml
83% proofs/proof.ml
88% proofs/proof_bullet.ml
97% proofs/refine.ml
75% proofs/refiner.ml
81% proofs/tacmach.ml
100% proofs/tactypes.ml
66% stm/asyncTaskQueue.ml
17% stm/coqworkmgrApi.ml
86% stm/dag.ml
8% stm/proofBlockDelimiter.ml
36% stm/spawned.ml
71% stm/stm.ml
69% stm/tQueue.ml
98% stm/vcs.ml
85% stm/vernac_classifier.ml
34% stm/vio_checking.ml
77% stm/workerPool.ml
95% tactics/abstract.ml
85% tactics/auto.ml
83% tactics/autorewrite.ml
88% tactics/btermdn.ml
93% tactics/class_tactics.ml
95% tactics/contradiction.ml
96% tactics/declare.ml
88% tactics/dn.ml
80% tactics/dnet.ml
72% tactics/eauto.ml
93% tactics/elim.ml
77% tactics/elimschemes.ml
93% tactics/eqdecide.ml
93% tactics/eqschemes.ml
89% tactics/equality.ml
100% tactics/genredexpr.ml
82% tactics/hints.ml
85% tactics/hipattern.ml
95% tactics/ind_tables.ml
80% tactics/inv.ml
75% tactics/leminv.ml
93% tactics/pfedit.ml
12% tactics/ppred.ml
98% tactics/proof_global.ml
78% tactics/redexpr.ml
70% tactics/redops.ml
80% tactics/tacticals.ml
90% tactics/tactics.ml
54% tactics/term_dnet.ml
87% user-contrib/Ltac2/g_ltac2.ml
56% user-contrib/Ltac2/tac2core.ml
100% user-contrib/Ltac2/tac2dyn.ml
81% user-contrib/Ltac2/tac2entries.ml
86% user-contrib/Ltac2/tac2env.ml
86% user-contrib/Ltac2/tac2extffi.ml
76% user-contrib/Ltac2/tac2ffi.ml
65% user-contrib/Ltac2/tac2intern.ml
76% user-contrib/Ltac2/tac2interp.ml
78% user-contrib/Ltac2/tac2match.ml
60% user-contrib/Ltac2/tac2print.ml
84% user-contrib/Ltac2/tac2quote.ml
70% user-contrib/Ltac2/tac2stdlib.ml
48% user-contrib/Ltac2/tac2tactics.ml
84% vernac/assumptions.ml
77% vernac/attributes.ml
88% vernac/auto_ind_decl.ml
95% vernac/canonical.ml
77% vernac/class.ml
97% vernac/classes.ml
93% vernac/comAssumption.ml
100% vernac/comDefinition.ml
93% vernac/comFixpoint.ml
95% vernac/comInductive.ml
95% vernac/comPrimitive.ml
95% vernac/comProgramFixpoint.ml
87% vernac/declareDef.ml
96% vernac/declareInd.ml
87% vernac/declareObl.ml
95% vernac/declareUniv.ml
92% vernac/declaremods.ml
87% vernac/egramcoq.ml
87% vernac/egramml.ml
82% vernac/g_proofs.ml
89% vernac/g_vernac.ml
59% vernac/himsg.ml
82% vernac/indschemes.ml
77% vernac/lemmas.ml
83% vernac/library.ml
83% vernac/loadpath.ml
81% vernac/locality.ml
89% vernac/metasyntax.ml
69% vernac/mltop.ml
82% vernac/obligations.ml
12% vernac/ppvernac.ml
90% vernac/proof_using.ml
95% vernac/pvernac.ml
91% vernac/recLemmas.ml
97% vernac/record.ml
70% vernac/search.ml
82% vernac/topfmt.ml
81% vernac/vernacentries.ml
100% vernac/vernacexpr.ml
71% vernac/vernacextend.ml
89% vernac/vernacinterp.ml
76% vernac/vernacprop.ml
67% vernac/vernacstate.ml