\documentclass[a4paper,10pt]{article} \usepackage{a4wide} \usepackage{longtable} \usepackage{xcolor} \begin{document} \textbf{Coverage Report (Unit and Law Tests, generated 30.4.2017 3:9, commit 1b2e940d9b577c126a1439d8b44ef88300a4191f)} \\\\ analysis \begin{longtable}{|l|r|r|r|r|r|r|r|r|} \hline module & clauses & covered & uncoverable & \% & preds & covered & uncoverable & \% \\ \hline \textbf{summary} & \textbf{792} & \textbf{341} & \textbf{0} & \textbf{43.1} & \textbf{312} & \textbf{152} & \textbf{0} & \textbf{48.7} \\ \hline b\_machine\_hierarchy.pl & 162 & 52 & 4 & 32.9 & 90 & 39 & 0 & 43.3 \\ \hline bvisual2.pl & 271 & 59 & 0 & 21.8 & 93 & 28 & 0 & 30.1 \\ \hline interval\_calc.pl & 8 & 7 & 0 & 87.5 & 6 & 5 & 0 & 83.3 \\ \hline predicate\_analysis.pl & 351 & 223 & 0 & 63.5 & 123 & 80 & 0 & 65.0 \\ \hline \end{longtable} animator \begin{longtable}{|l|r|r|r|r|r|r|r|r|} \hline module & clauses & covered & uncoverable & \% & preds & covered & uncoverable & \% \\ \hline \textbf{summary} & \textbf{969} & \textbf{234} & \textbf{5} & \textbf{24.3} & \textbf{448} & \textbf{143} & \textbf{0} & \textbf{31.9} \\ \hline b\_operation\_cache.pl & 19 & 2 & 0 & 10.5 & 11 & 2 & 0 & 18.2 \\ \hline coverage\_statistics.pl & 65 & 17 & 0 & 26.2 & 36 & 12 & 0 & 33.3 \\ \hline \textcolor[HTML]{FF0000}{evalstores.pl} & \textcolor[HTML]{FF0000}{49} & \textcolor[HTML]{FF0000}{2} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{4.1} & \textcolor[HTML]{FF0000}{34} & \textcolor[HTML]{FF0000}{2} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{5.9} \\ \hline hashing.pl & 30 & 24 & 0 & 80.0 & 7 & 7 & 0 & 100.0 \\ \hline \textcolor[HTML]{FF0000}{latex\_processor.pl} & \textcolor[HTML]{FF0000}{103} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} & \textcolor[HTML]{FF0000}{44} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} \\ \hline \textcolor[HTML]{FF0000}{meta\_interface.pl} & \textcolor[HTML]{FF0000}{124} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{1} & \textcolor[HTML]{FF0000}{0.0} & \textcolor[HTML]{FF0000}{18} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} \\ \hline specfile.pl & 249 & 70 & 1 & 28.2 & 100 & 41 & 0 & 41.0 \\ \hline state\_packing.pl & 78 & 50 & 3 & 66.7 & 28 & 19 & 0 & 67.9 \\ \hline state\_space.pl & 141 & 50 & 0 & 35.5 & 111 & 47 & 0 & 42.3 \\ \hline \textcolor[HTML]{FF0000}{state\_space\_dijkstra.pl} & \textcolor[HTML]{FF0000}{11} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} & \textcolor[HTML]{FF0000}{8} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} \\ \hline state\_space\_open\_nodes\_c.pl & 29 & 15 & 0 & 51.7 & 20 & 9 & 0 & 45.0 \\ \hline \textcolor[HTML]{FF0000}{xtl\_interface.pl} & \textcolor[HTML]{FF0000}{71} & \textcolor[HTML]{FF0000}{4} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{5.6} & \textcolor[HTML]{FF0000}{31} & \textcolor[HTML]{FF0000}{4} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{12.9} \\ \hline \end{longtable} cbc \begin{longtable}{|l|r|r|r|r|r|r|r|r|} \hline module & clauses & covered & uncoverable & \% & preds & covered & uncoverable & \% \\ \hline \textbf{summary} & \textbf{375} & \textbf{39} & \textbf{3} & \textbf{10.5} & \textbf{189} & \textbf{29} & \textbf{0} & \textbf{15.3} \\ \hline random\_permutations.pl & 10 & 7 & 0 & 70.0 & 7 & 5 & 0 & 71.4 \\ \hline \textcolor[HTML]{FF0000}{b\_state\_model\_check.pl} & \textcolor[HTML]{FF0000}{125} & \textcolor[HTML]{FF0000}{12} & \textcolor[HTML]{FF0000}{2} & \textcolor[HTML]{FF0000}{9.8} & \textcolor[HTML]{FF0000}{59} & \textcolor[HTML]{FF0000}{9} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{15.3} \\ \hline \textcolor[HTML]{FF0000}{cbc\_refinement\_checks.pl} & \textcolor[HTML]{FF0000}{34} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} & \textcolor[HTML]{FF0000}{23} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} \\ \hline \textcolor[HTML]{FF0000}{disprover.pl} & \textcolor[HTML]{FF0000}{22} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} & \textcolor[HTML]{FF0000}{14} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} \\ \hline \textcolor[HTML]{FF0000}{disprover\_test\_runner.pl} & \textcolor[HTML]{FF0000}{89} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} & \textcolor[HTML]{FF0000}{42} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} \\ \hline solver\_interface.pl & 44 & 20 & 0 & 45.5 & 22 & 15 & 0 & 68.2 \\ \hline \textcolor[HTML]{FF0000}{weakest\_preconditions.pl} & \textcolor[HTML]{FF0000}{51} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{1} & \textcolor[HTML]{FF0000}{0.0} & \textcolor[HTML]{FF0000}{22} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} \\ \hline \end{longtable} cli \begin{longtable}{|l|r|r|r|r|r|r|r|r|} \hline module & clauses & covered & uncoverable & \% & preds & covered & uncoverable & \% \\ \hline \textbf{summary} & \textbf{149} & \textbf{11} & \textbf{0} & \textbf{7.4} & \textbf{121} & \textbf{11} & \textbf{0} & \textbf{9.1} \\ \hline \textcolor[HTML]{FF0000}{eclipse\_interface.pl} & \textcolor[HTML]{FF0000}{149} & \textcolor[HTML]{FF0000}{11} & \textcolor[HTML]{FF0000}{1} & \textcolor[HTML]{FF0000}{7.4} & \textcolor[HTML]{FF0000}{121} & \textcolor[HTML]{FF0000}{11} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{9.1} \\ \hline \end{longtable} coverage\_analysis \begin{longtable}{|l|r|r|r|r|r|r|r|r|} \hline module & clauses & covered & uncoverable & \% & preds & covered & uncoverable & \% \\ \hline \textbf{summary} & \textbf{172} & \textbf{49} & \textbf{0} & \textbf{28.5} & \textbf{98} & \textbf{21} & \textbf{0} & \textbf{21.4} \\ \hline coverage\_term\_expander.pl & 36 & 36 & 0 & 100.0 & 13 & 13 & 0 & 100.0 \\ \hline coverage\_tools.pl & 84 & 12 & 0 & 14.3 & 54 & 7 & 0 & 13.0 \\ \hline \textcolor[HTML]{FF0000}{prob\_cov.pl} & \textcolor[HTML]{FF0000}{52} & \textcolor[HTML]{FF0000}{1} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{1.9} & \textcolor[HTML]{FF0000}{31} & \textcolor[HTML]{FF0000}{1} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{3.2} \\ \hline \end{longtable} csp \begin{longtable}{|l|r|r|r|r|r|r|r|r|} \hline module & clauses & covered & uncoverable & \% & preds & covered & uncoverable & \% \\ \hline \textbf{summary} & \textbf{1652} & \textbf{642} & \textbf{53} & \textbf{40.2} & \textbf{598} & \textbf{291} & \textbf{1} & \textbf{48.7} \\ \hline csp\_basic.pl & 5 & 5 & 0 & 100.0 & 5 & 5 & 0 & 100.0 \\ \hline csp\_sequences.pl & 58 & 46 & 3 & 83.6 & 21 & 21 & 0 & 100.0 \\ \hline csp\_sets.pl & 268 & 177 & 14 & 69.7 & 99 & 82 & 0 & 82.8 \\ \hline csp\_tuples.pl & 94 & 52 & 3 & 57.1 & 37 & 25 & 0 & 67.6 \\ \hline haskell\_csp.pl & 758 & 324 & 26 & 44.3 & 251 & 137 & 1 & 54.8 \\ \hline \textcolor[HTML]{FF0000}{haskell\_csp\_analyzer.pl} & \textcolor[HTML]{FF0000}{304} & \textcolor[HTML]{FF0000}{27} & \textcolor[HTML]{FF0000}{5} & \textcolor[HTML]{FF0000}{9.0} & \textcolor[HTML]{FF0000}{95} & \textcolor[HTML]{FF0000}{12} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{12.6} \\ \hline \textcolor[HTML]{FF0000}{refinement\_checker.pl} & \textcolor[HTML]{FF0000}{165} & \textcolor[HTML]{FF0000}{11} & \textcolor[HTML]{FF0000}{2} & \textcolor[HTML]{FF0000}{6.7} & \textcolor[HTML]{FF0000}{90} & \textcolor[HTML]{FF0000}{9} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{10.0} \\ \hline \end{longtable} dot \begin{longtable}{|l|r|r|r|r|r|r|r|r|} \hline module & clauses & covered & uncoverable & \% & preds & covered & uncoverable & \% \\ \hline \textbf{summary} & \textbf{529} & \textbf{12} & \textbf{1} & \textbf{2.3} & \textbf{297} & \textbf{9} & \textbf{0} & \textbf{3.0} \\ \hline \textcolor[HTML]{FF0000}{bvisual.pl} & \textcolor[HTML]{FF0000}{134} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} & \textcolor[HTML]{FF0000}{62} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} \\ \hline \textcolor[HTML]{FF0000}{bvisual\_any\_maxsolver.pl} & \textcolor[HTML]{FF0000}{5} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} & \textcolor[HTML]{FF0000}{3} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} \\ \hline \textcolor[HTML]{FF0000}{dot\_graph\_generator.pl} & \textcolor[HTML]{FF0000}{58} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} & \textcolor[HTML]{FF0000}{26} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} \\ \hline \textcolor[HTML]{FF0000}{maxsolver.pl} & \textcolor[HTML]{FF0000}{38} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} & \textcolor[HTML]{FF0000}{24} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} \\ \hline \textcolor[HTML]{FF0000}{reduce\_graph\_state\_space.pl} & \textcolor[HTML]{FF0000}{157} & \textcolor[HTML]{FF0000}{12} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{7.6} & \textcolor[HTML]{FF0000}{105} & \textcolor[HTML]{FF0000}{9} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{8.6} \\ \hline \textcolor[HTML]{FF0000}{state\_custom\_dot\_graph.pl} & \textcolor[HTML]{FF0000}{17} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{1} & \textcolor[HTML]{FF0000}{0.0} & \textcolor[HTML]{FF0000}{12} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} \\ \hline \textcolor[HTML]{FF0000}{visualize\_graph.pl} & \textcolor[HTML]{FF0000}{120} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} & \textcolor[HTML]{FF0000}{65} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} \\ \hline \end{longtable} experimental \begin{longtable}{|l|r|r|r|r|r|r|r|r|} \hline module & clauses & covered & uncoverable & \% & preds & covered & uncoverable & \% \\ \hline \textbf{summary} & \textbf{466} & \textbf{23} & \textbf{1} & \textbf{4.9} & \textbf{229} & \textbf{4} & \textbf{0} & \textbf{1.7} \\ \hline \textcolor[HTML]{FF0000}{cvc4interface.pl} & \textcolor[HTML]{FF0000}{29} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} & \textcolor[HTML]{FF0000}{5} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} \\ \hline \textcolor[HTML]{FF0000}{ltsmin.pl} & \textcolor[HTML]{FF0000}{171} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{1} & \textcolor[HTML]{FF0000}{0.0} & \textcolor[HTML]{FF0000}{100} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} \\ \hline \textcolor[HTML]{FF0000}{satsolver.pl} & \textcolor[HTML]{FF0000}{40} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} & \textcolor[HTML]{FF0000}{21} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} \\ \hline \textcolor[HTML]{FF0000}{z3interface.pl} & \textcolor[HTML]{FF0000}{31} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} & \textcolor[HTML]{FF0000}{5} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} \\ \hline \textcolor[HTML]{FF0000}{master.pl} & \textcolor[HTML]{FF0000}{3} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} & \textcolor[HTML]{FF0000}{2} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} \\ \hline \textcolor[HTML]{FF0000}{worker.pl} & \textcolor[HTML]{FF0000}{26} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} & \textcolor[HTML]{FF0000}{19} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} \\ \hline \textcolor[HTML]{FF0000}{zmq.pl} & \textcolor[HTML]{FF0000}{11} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} & \textcolor[HTML]{FF0000}{4} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} \\ \hline \textcolor[HTML]{FF0000}{flow.pl} & \textcolor[HTML]{FF0000}{155} & \textcolor[HTML]{FF0000}{23} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{14.8} & \textcolor[HTML]{FF0000}{73} & \textcolor[HTML]{FF0000}{4} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{5.5} \\ \hline \end{longtable} external\_functions \begin{longtable}{|l|r|r|r|r|r|r|r|r|} \hline module & clauses & covered & uncoverable & \% & preds & covered & uncoverable & \% \\ \hline \textbf{summary} & \textbf{28} & \textbf{1} & \textbf{0} & \textbf{3.6} & \textbf{10} & \textbf{1} & \textbf{0} & \textbf{10.0} \\ \hline \textcolor[HTML]{FF0000}{xml2b.pl} & \textcolor[HTML]{FF0000}{28} & \textcolor[HTML]{FF0000}{1} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{3.6} & \textcolor[HTML]{FF0000}{10} & \textcolor[HTML]{FF0000}{1} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{10.0} \\ \hline \end{longtable} infrastructure \begin{longtable}{|l|r|r|r|r|r|r|r|r|} \hline module & clauses & covered & uncoverable & \% & preds & covered & uncoverable & \% \\ \hline \textbf{summary} & \textbf{6278} & \textbf{4072} & \textbf{31} & \textbf{65.2} & \textbf{1668} & \textbf{756} & \textbf{6} & \textbf{45.5} \\ \hline probhash.pl & 21 & 5 & 0 & 23.8 & 19 & 4 & 0 & 21.1 \\ \hline user\_signal.pl & 12 & 7 & 0 & 58.3 & 9 & 4 & 0 & 44.4 \\ \hline \textcolor[HTML]{FF0000}{ast\_inspector.pl} & \textcolor[HTML]{FF0000}{24} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} & \textcolor[HTML]{FF0000}{7} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} \\ \hline \textcolor[HTML]{FF0000}{atelierb\_provers\_interface.pl} & \textcolor[HTML]{FF0000}{16} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} & \textcolor[HTML]{FF0000}{13} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} \\ \hline bmachine.pl & 427 & 299 & 3 & 70.5 & 235 & 173 & 0 & 73.6 \\ \hline debug.pl & 77 & 21 & 0 & 27.3 & 65 & 17 & 0 & 26.2 \\ \hline debugging\_calls.pl & 19 & 10 & 0 & 52.6 & 10 & 5 & 0 & 50.0 \\ \hline debugging\_calls\_te.pl & 4 & 1 & 0 & 25.0 & 4 & 1 & 0 & 25.0 \\ \hline error\_manager.pl & 200 & 86 & 8 & 44.8 & 129 & 70 & 6 & 56.9 \\ \hline eventhandling.pl & 24 & 19 & 1 & 82.6 & 9 & 8 & 0 & 88.9 \\ \hline junit\_tests.pl & 18 & 14 & 1 & 82.4 & 11 & 11 & 0 & 100.0 \\ \hline logger.pl & 67 & 34 & 1 & 51.5 & 38 & 22 & 0 & 57.9 \\ \hline module\_information.pl & 6 & 2 & 0 & 33.3 & 5 & 2 & 0 & 40.0 \\ \hline pathes.pl & 16 & 15 & 0 & 93.8 & 14 & 13 & 0 & 92.9 \\ \hline plugins.pl & 108 & 59 & 0 & 54.6 & 62 & 28 & 0 & 45.2 \\ \hline preferences.pl & 1246 & 1075 & 0 & 86.3 & 94 & 43 & 0 & 45.7 \\ \hline prob\_cli.pl & 937 & 222 & 8 & 23.9 & 342 & 125 & 0 & 36.5 \\ \hline self\_check.pl & 81 & 32 & 0 & 39.5 & 64 & 28 & 0 & 43.8 \\ \hline state\_space\_exploration\_modes.pl & 60 & 16 & 0 & 26.7 & 25 & 12 & 0 & 48.0 \\ \hline succeed\_max.pl & 12 & 11 & 0 & 91.7 & 8 & 7 & 0 & 87.5 \\ \hline tcltk\_interface.pl & 427 & 65 & 4 & 15.4 & 283 & 48 & 0 & 17.0 \\ \hline testcases.pl & 2003 & 1859 & 0 & 92.8 & 7 & 5 & 0 & 71.4 \\ \hline tools.pl & 331 & 146 & 5 & 44.8 & 150 & 92 & 0 & 61.3 \\ \hline \textcolor[HTML]{FF0000}{tools\_io.pl} & \textcolor[HTML]{FF0000}{1} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} & \textcolor[HTML]{FF0000}{1} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} \\ \hline tools\_lists.pl & 3 & 3 & 0 & 100.0 & 2 & 2 & 0 & 100.0 \\ \hline tools\_meta.pl & 6 & 5 & 0 & 83.3 & 5 & 4 & 0 & 80.0 \\ \hline tools\_printing.pl & 79 & 29 & 0 & 36.7 & 25 & 8 & 0 & 32.0 \\ \hline tools\_strings.pl & 33 & 29 & 0 & 87.9 & 16 & 16 & 0 & 100.0 \\ \hline tools\_timeout.pl & 5 & 4 & 0 & 80.0 & 4 & 4 & 0 & 100.0 \\ \hline \textcolor[HTML]{FF0000}{user\_interrupts.pl} & \textcolor[HTML]{FF0000}{4} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} & \textcolor[HTML]{FF0000}{4} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} \\ \hline version.pl & 11 & 4 & 0 & 36.4 & 8 & 4 & 0 & 50.0 \\ \hline \end{longtable} \textbf{interpreter }\begin{longtable}{|l|r|r|r|r|r|r|r|r|} \hline module & clauses & covered & uncoverable & \% & preds & covered & uncoverable & \% \\ \hline \textbf{summary} & \textbf{2635} & \textbf{1307} & \textbf{35} & \textbf{50.3} & \textbf{1153} & \textbf{616} & \textbf{0} & \textbf{53.4} \\ \hline b\_compiler.pl & 237 & 165 & 1 & 69.9 & 58 & 46 & 0 & 79.3 \\ \hline b\_enumerate.pl & 111 & 93 & 0 & 83.8 & 49 & 44 & 0 & 89.8 \\ \hline b\_interpreter.pl & 610 & 461 & 16 & 77.6 & 293 & 250 & 0 & 85.3 \\ \hline b\_interpreter\_check.pl & 377 & 313 & 5 & 84.1 & 104 & 91 & 0 & 87.5 \\ \hline b\_interpreter\_components.pl & 73 & 58 & 0 & 79.5 & 53 & 43 & 0 & 81.1 \\ \hline b\_interpreter\_eventb.pl & 75 & 44 & 2 & 60.3 & 49 & 33 & 0 & 67.3 \\ \hline \textcolor[HTML]{FF0000}{external\_functions.pl} & \textcolor[HTML]{FF0000}{804} & \textcolor[HTML]{FF0000}{54} & \textcolor[HTML]{FF0000}{11} & \textcolor[HTML]{FF0000}{6.8} & \textcolor[HTML]{FF0000}{365} & \textcolor[HTML]{FF0000}{42} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{11.5} \\ \hline store.pl & 167 & 102 & 1 & 61.4 & 69 & 56 & 0 & 81.2 \\ \hline \textcolor[HTML]{FF0000}{value\_persistance.pl} & \textcolor[HTML]{FF0000}{181} & \textcolor[HTML]{FF0000}{17} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{9.4} & \textcolor[HTML]{FF0000}{113} & \textcolor[HTML]{FF0000}{11} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{9.7} \\ \hline \end{longtable} \textbf{kernel }\begin{longtable}{|l|r|r|r|r|r|r|r|r|} \hline module & clauses & covered & uncoverable & \% & preds & covered & uncoverable & \% \\ \hline \textbf{summary} & \textbf{4996} & \textbf{4235} & \textbf{65} & \textbf{85.9} & \textbf{2176} & \textbf{2014} & \textbf{2} & \textbf{92.6} \\ \hline b\_global\_sets.pl & 195 & 137 & 2 & 71.0 & 94 & 78 & 0 & 83.0 \\ \hline bool\_pred.pl & 29 & 26 & 0 & 89.7 & 20 & 18 & 0 & 90.0 \\ \hline bsets\_clp.pl & 661 & 638 & 4 & 97.1 & 344 & 340 & 0 & 98.8 \\ \hline closures.pl & 98 & 58 & 1 & 59.8 & 37 & 33 & 0 & 89.2 \\ \hline clpfd\_interface.pl & 161 & 108 & 1 & 67.5 & 93 & 69 & 0 & 74.2 \\ \hline clpfd\_lists.pl & 113 & 79 & 7 & 74.5 & 33 & 31 & 0 & 93.9 \\ \hline clpfd\_tables.pl & 46 & 44 & 0 & 95.7 & 24 & 24 & 0 & 100.0 \\ \hline custom\_explicit\_sets.pl & 1304 & 1103 & 23 & 86.1 & 537 & 502 & 0 & 93.5 \\ \hline delay.pl & 32 & 31 & 0 & 96.9 & 23 & 22 & 0 & 95.7 \\ \hline fd\_utils\_clpfd.pl & 11 & 9 & 0 & 81.8 & 9 & 9 & 0 & 100.0 \\ \hline inf\_arith.pl & 51 & 49 & 0 & 96.1 & 21 & 20 & 0 & 95.2 \\ \hline kernel\_dif.pl & 15 & 9 & 0 & 60.0 & 8 & 4 & 0 & 50.0 \\ \hline kernel\_equality.pl & 166 & 157 & 4 & 96.9 & 74 & 73 & 0 & 98.6 \\ \hline kernel\_frozen\_info.pl & 17 & 3 & 0 & 17.6 & 6 & 2 & 0 & 33.3 \\ \hline kernel\_mappings.pl & 400 & 367 & 0 & 91.8 & 91 & 86 & 0 & 94.5 \\ \hline kernel\_objects.pl & 1096 & 976 & 6 & 89.5 & 514 & 488 & 1 & 95.1 \\ \hline kernel\_ordering.pl & 36 & 14 & 0 & 38.9 & 15 & 6 & 0 & 40.0 \\ \hline kernel\_records.pl & 23 & 21 & 0 & 91.3 & 17 & 17 & 0 & 100.0 \\ \hline kernel\_strings.pl & 101 & 90 & 1 & 90.0 & 63 & 63 & 0 & 100.0 \\ \hline kernel\_tools.pl & 251 & 187 & 4 & 75.7 & 38 & 33 & 0 & 86.8 \\ \hline kernel\_waitflags.pl & 190 & 129 & 14 & 73.3 & 115 & 96 & 1 & 84.2 \\ \hline \end{longtable} kodkod \begin{longtable}{|l|r|r|r|r|r|r|r|r|} \hline module & clauses & covered & uncoverable & \% & preds & covered & uncoverable & \% \\ \hline \textbf{summary} & \textbf{709} & \textbf{475} & \textbf{2} & \textbf{67.2} & \textbf{320} & \textbf{238} & \textbf{0} & \textbf{74.4} \\ \hline kodkod.pl & 91 & 42 & 0 & 46.2 & 48 & 30 & 0 & 62.5 \\ \hline kodkod2.pl & 67 & 60 & 0 & 89.6 & 38 & 37 & 0 & 97.4 \\ \hline kodkod\_integer\_recalc.pl & 23 & 9 & 0 & 39.1 & 8 & 5 & 0 & 62.5 \\ \hline kodkod\_printer.pl & 121 & 100 & 0 & 82.6 & 43 & 41 & 0 & 95.3 \\ \hline kodkod\_process.pl & 65 & 40 & 2 & 63.5 & 44 & 34 & 0 & 77.3 \\ \hline kodkod\_rewrite.pl & 26 & 14 & 0 & 53.8 & 11 & 8 & 0 & 72.7 \\ \hline \textcolor[HTML]{FF0000}{kodkod\_test.pl} & \textcolor[HTML]{FF0000}{50} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} & \textcolor[HTML]{FF0000}{39} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} \\ \hline kodkod\_tools.pl & 27 & 25 & 0 & 92.6 & 18 & 18 & 0 & 100.0 \\ \hline kodkod\_translate.pl & 154 & 118 & 0 & 76.6 & 46 & 40 & 0 & 87.0 \\ \hline kodkod\_typing.pl & 85 & 67 & 0 & 78.8 & 25 & 25 & 0 & 100.0 \\ \hline \end{longtable} ltl \begin{longtable}{|l|r|r|r|r|r|r|r|r|} \hline module & clauses & covered & uncoverable & \% & preds & covered & uncoverable & \% \\ \hline \textbf{summary} & \textbf{875} & \textbf{152} & \textbf{20} & \textbf{17.8} & \textbf{376} & \textbf{45} & \textbf{1} & \textbf{12.0} \\ \hline \textcolor[HTML]{FF0000}{ltl2ba.pl} & \textcolor[HTML]{FF0000}{5} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} & \textcolor[HTML]{FF0000}{5} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} \\ \hline \textcolor[HTML]{FF0000}{ltlc.pl} & \textcolor[HTML]{FF0000}{92} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} & \textcolor[HTML]{FF0000}{31} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} \\ \hline \textcolor[HTML]{FF0000}{ctl.pl} & \textcolor[HTML]{FF0000}{69} & \textcolor[HTML]{FF0000}{1} & \textcolor[HTML]{FF0000}{3} & \textcolor[HTML]{FF0000}{1.5} & \textcolor[HTML]{FF0000}{29} & \textcolor[HTML]{FF0000}{1} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{3.4} \\ \hline \textcolor[HTML]{FF0000}{ltl.pl} & \textcolor[HTML]{FF0000}{146} & \textcolor[HTML]{FF0000}{1} & \textcolor[HTML]{FF0000}{4} & \textcolor[HTML]{FF0000}{0.7} & \textcolor[HTML]{FF0000}{81} & \textcolor[HTML]{FF0000}{1} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{1.2} \\ \hline \textcolor[HTML]{FF0000}{ltl\_fairness.pl} & \textcolor[HTML]{FF0000}{56} & \textcolor[HTML]{FF0000}{7} & \textcolor[HTML]{FF0000}{3} & \textcolor[HTML]{FF0000}{13.2} & \textcolor[HTML]{FF0000}{32} & \textcolor[HTML]{FF0000}{3} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{9.4} \\ \hline ltl\_propositions.pl & 63 & 12 & 1 & 19.4 & 26 & 8 & 0 & 30.8 \\ \hline ltl\_safety.pl & 88 & 48 & 2 & 55.8 & 25 & 7 & 0 & 28.0 \\ \hline ltl\_tools.pl & 151 & 25 & 2 & 16.8 & 59 & 9 & 0 & 15.3 \\ \hline ltl\_translate.pl & 62 & 36 & 0 & 58.1 & 12 & 7 & 0 & 58.3 \\ \hline ltl\_verification.pl & 70 & 22 & 0 & 31.4 & 32 & 9 & 0 & 28.1 \\ \hline \textcolor[HTML]{FF0000}{safety\_mc.pl} & \textcolor[HTML]{FF0000}{63} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{5} & \textcolor[HTML]{FF0000}{0.0} & \textcolor[HTML]{FF0000}{38} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{1} & \textcolor[HTML]{FF0000}{0.0} \\ \hline \textcolor[HTML]{FF0000}{state\_space\_explorer.pl} & \textcolor[HTML]{FF0000}{10} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} & \textcolor[HTML]{FF0000}{6} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} \\ \hline \end{longtable} misc \begin{longtable}{|l|r|r|r|r|r|r|r|r|} \hline module & clauses & covered & uncoverable & \% & preds & covered & uncoverable & \% \\ \hline \textbf{summary} & \textbf{421} & \textbf{91} & \textbf{2} & \textbf{21.7} & \textbf{226} & \textbf{54} & \textbf{0} & \textbf{23.9} \\ \hline \textcolor[HTML]{FF0000}{b\_show\_history.pl} & \textcolor[HTML]{FF0000}{40} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{1} & \textcolor[HTML]{FF0000}{0.0} & \textcolor[HTML]{FF0000}{25} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} \\ \hline \textcolor[HTML]{FF0000}{before\_after\_predicates.pl} & \textcolor[HTML]{FF0000}{54} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{2} & \textcolor[HTML]{FF0000}{0.0} & \textcolor[HTML]{FF0000}{26} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} \\ \hline \textcolor[HTML]{FF0000}{log\_analyser.pl} & \textcolor[HTML]{FF0000}{81} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} & \textcolor[HTML]{FF0000}{44} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} \\ \hline predicate\_debugger.pl & 115 & 32 & 0 & 27.8 & 58 & 12 & 0 & 20.7 \\ \hline predicate\_evaluator.pl & 87 & 41 & 0 & 47.1 & 49 & 29 & 0 & 59.2 \\ \hline unsat\_cores.pl & 44 & 18 & 0 & 40.9 & 24 & 13 & 0 & 54.2 \\ \hline \end{longtable} model\_checker \begin{longtable}{|l|r|r|r|r|r|r|r|r|} \hline module & clauses & covered & uncoverable & \% & preds & covered & uncoverable & \% \\ \hline \textbf{summary} & \textbf{356} & \textbf{46} & \textbf{2} & \textbf{13.0} & \textbf{219} & \textbf{24} & \textbf{0} & \textbf{11.0} \\ \hline model\_checker.pl & 44 & 29 & 0 & 65.9 & 19 & 15 & 0 & 78.9 \\ \hline \textcolor[HTML]{FF0000}{pge\_algo.pl} & \textcolor[HTML]{FF0000}{62} & \textcolor[HTML]{FF0000}{1} & \textcolor[HTML]{FF0000}{1} & \textcolor[HTML]{FF0000}{1.6} & \textcolor[HTML]{FF0000}{41} & \textcolor[HTML]{FF0000}{1} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{2.4} \\ \hline \textcolor[HTML]{FF0000}{ample\_sets.pl} & \textcolor[HTML]{FF0000}{84} & \textcolor[HTML]{FF0000}{3} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{3.6} & \textcolor[HTML]{FF0000}{64} & \textcolor[HTML]{FF0000}{3} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{4.7} \\ \hline \textcolor[HTML]{FF0000}{b\_simplifier.pl} & \textcolor[HTML]{FF0000}{53} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} & \textcolor[HTML]{FF0000}{20} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} \\ \hline \textcolor[HTML]{FF0000}{dot\_graphs\_static\_analysis.pl} & \textcolor[HTML]{FF0000}{9} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} & \textcolor[HTML]{FF0000}{9} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} \\ \hline enable\_graph.pl & 35 & 13 & 0 & 37.1 & 22 & 5 & 0 & 22.7 \\ \hline \textcolor[HTML]{FF0000}{enabling\_predicates.pl} & \textcolor[HTML]{FF0000}{31} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} & \textcolor[HTML]{FF0000}{16} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} \\ \hline \textcolor[HTML]{FF0000}{static\_analysis.pl} & \textcolor[HTML]{FF0000}{38} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{1} & \textcolor[HTML]{FF0000}{0.0} & \textcolor[HTML]{FF0000}{28} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} \\ \hline \end{longtable} other \begin{longtable}{|l|r|r|r|r|r|r|r|r|} \hline module & clauses & covered & uncoverable & \% & preds & covered & uncoverable & \% \\ \hline \textbf{summary} & \textbf{2086} & \textbf{352} & \textbf{19} & \textbf{17.0} & \textbf{889} & \textbf{195} & \textbf{1} & \textbf{22.0} \\ \hline counter.pl & 8 & 8 & 0 & 100.0 & 4 & 4 & 0 & 100.0 \\ \hline \textcolor[HTML]{FF0000}{ltsmin\_c\_interface.pl} & \textcolor[HTML]{FF0000}{12} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} & \textcolor[HTML]{FF0000}{3} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} \\ \hline myheap.pl & 33 & 19 & 0 & 57.6 & 14 & 4 & 0 & 28.6 \\ \hline plspec.pl & 95 & 12 & 0 & 12.6 & 51 & 9 & 0 & 17.6 \\ \hline plspec\_checker.pl & 8 & 7 & 0 & 87.5 & 6 & 5 & 0 & 83.3 \\ \hline b\_to\_cnf.pl & 22 & 2 & 2 & 10.0 & 6 & 1 & 0 & 16.7 \\ \hline avl\_tools.pl & 23 & 23 & 0 & 100.0 & 14 & 14 & 0 & 100.0 \\ \hline b\_arithmetic\_expressions.pl & 8 & 7 & 0 & 87.5 & 3 & 3 & 0 & 100.0 \\ \hline b\_expression\_sharing.pl & 334 & 59 & 7 & 18.0 & 126 & 39 & 0 & 31.0 \\ \hline chr\_integer\_inequality.pl & 31 & 21 & 0 & 67.7 & 24 & 15 & 0 & 62.5 \\ \hline chr\_set\_membership.pl & 6 & 2 & 0 & 33.3 & 6 & 2 & 0 & 33.3 \\ \hline \textcolor[HTML]{FF0000}{coverage\_tools\_annotations.pl} & \textcolor[HTML]{FF0000}{1} & \textcolor[HTML]{FF0000}{1} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{100.0} & \textcolor[HTML]{FF0000}{1} & \textcolor[HTML]{FF0000}{1} & \textcolor[HTML]{FF0000}{1} & \textcolor[HTML]{FF0000}{0.0} \\ \hline \textcolor[HTML]{FF0000}{enabling\_analysis.pl} & \textcolor[HTML]{FF0000}{131} & \textcolor[HTML]{FF0000}{1} & \textcolor[HTML]{FF0000}{2} & \textcolor[HTML]{FF0000}{0.8} & \textcolor[HTML]{FF0000}{58} & \textcolor[HTML]{FF0000}{1} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{1.7} \\ \hline hit\_profiler.pl & 30 & 8 & 0 & 26.7 & 14 & 7 & 0 & 50.0 \\ \hline input\_syntax\_tree.pl & 55 & 26 & 1 & 48.1 & 21 & 13 & 0 & 61.9 \\ \hline partition\_detection.pl & 22 & 22 & 0 & 100.0 & 15 & 15 & 0 & 100.0 \\ \hline \textcolor[HTML]{FF0000}{prob2\_interface.pl} & \textcolor[HTML]{FF0000}{256} & \textcolor[HTML]{FF0000}{29} & \textcolor[HTML]{FF0000}{5} & \textcolor[HTML]{FF0000}{11.6} & \textcolor[HTML]{FF0000}{165} & \textcolor[HTML]{FF0000}{16} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{9.7} \\ \hline \textcolor[HTML]{FF0000}{prob\_socketserver.pl} & \textcolor[HTML]{FF0000}{47} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} & \textcolor[HTML]{FF0000}{26} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} \\ \hline b\_ast\_cleanup\_rewrite\_rules.pl & 15 & 15 & 0 & 100.0 & 12 & 12 & 0 & 100.0 \\ \hline rewrite\_rules\_db.pl & 29 & 18 & 0 & 62.1 & 2 & 2 & 0 & 100.0 \\ \hline runtime\_profiler.pl & 7 & 2 & 0 & 28.6 & 7 & 2 & 0 & 28.6 \\ \hline \textcolor[HTML]{FF0000}{state\_space\_reduction.pl} & \textcolor[HTML]{FF0000}{77} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} & \textcolor[HTML]{FF0000}{56} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} \\ \hline \textcolor[HTML]{FF0000}{state\_viewer\_images.pl} & \textcolor[HTML]{FF0000}{90} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} & \textcolor[HTML]{FF0000}{48} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} \\ \hline \textcolor[HTML]{FF0000}{ce\_replay.pl} & \textcolor[HTML]{FF0000}{5} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} & \textcolor[HTML]{FF0000}{3} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} \\ \hline table\_tools.pl & 70 & 18 & 1 & 26.1 & 30 & 7 & 0 & 23.3 \\ \hline test\_typechecker.pl & 25 & 24 & 0 & 96.0 & 16 & 15 & 0 & 93.8 \\ \hline \textcolor[HTML]{FF0000}{tools\_commands.pl} & \textcolor[HTML]{FF0000}{24} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{1} & \textcolor[HTML]{FF0000}{0.0} & \textcolor[HTML]{FF0000}{11} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} \\ \hline typing\_tools.pl & 55 & 28 & 0 & 50.9 & 11 & 8 & 0 & 72.7 \\ \hline \textcolor[HTML]{FF0000}{xml\_prob.pl} & \textcolor[HTML]{FF0000}{567} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} & \textcolor[HTML]{FF0000}{136} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} \\ \hline \end{longtable} pltables \begin{longtable}{|l|r|r|r|r|r|r|r|r|} \hline module & clauses & covered & uncoverable & \% & preds & covered & uncoverable & \% \\ \hline \textbf{summary} & \textbf{84} & \textbf{4} & \textbf{0} & \textbf{4.8} & \textbf{60} & \textbf{3} & \textbf{0} & \textbf{5.0} \\ \hline pltables.pl & 4 & 2 & 0 & 50.0 & 4 & 2 & 0 & 50.0 \\ \hline \textcolor[HTML]{FF0000}{pltables\_export.pl} & \textcolor[HTML]{FF0000}{20} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} & \textcolor[HTML]{FF0000}{16} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} \\ \hline \textcolor[HTML]{FF0000}{pltables\_export\_csv.pl} & \textcolor[HTML]{FF0000}{13} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} & \textcolor[HTML]{FF0000}{10} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} \\ \hline \textcolor[HTML]{FF0000}{pltables\_export\_html.pl} & \textcolor[HTML]{FF0000}{11} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} & \textcolor[HTML]{FF0000}{8} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} \\ \hline \textcolor[HTML]{FF0000}{pltables\_export\_latex.pl} & \textcolor[HTML]{FF0000}{21} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} & \textcolor[HTML]{FF0000}{11} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} \\ \hline pltables\_export\_tools.pl & 2 & 2 & 0 & 100.0 & 1 & 1 & 0 & 100.0 \\ \hline \textcolor[HTML]{FF0000}{pltables\_export\_xml.pl} & \textcolor[HTML]{FF0000}{13} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} & \textcolor[HTML]{FF0000}{10} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} \\ \hline \end{longtable} plugin \begin{longtable}{|l|r|r|r|r|r|r|r|r|} \hline module & clauses & covered & uncoverable & \% & preds & covered & uncoverable & \% \\ \hline \textbf{summary} & \textbf{6} & \textbf{1} & \textbf{0} & \textbf{16.7} & \textbf{6} & \textbf{1} & \textbf{0} & \textbf{16.7} \\ \hline testaddon.pl & 6 & 1 & 0 & 16.7 & 6 & 1 & 0 & 16.7 \\ \hline \end{longtable} plugin\_absint \begin{longtable}{|l|r|r|r|r|r|r|r|r|} \hline module & clauses & covered & uncoverable & \% & preds & covered & uncoverable & \% \\ \hline \textbf{summary} & \textbf{173} & \textbf{7} & \textbf{7} & \textbf{4.2} & \textbf{91} & \textbf{6} & \textbf{0} & \textbf{6.6} \\ \hline absint.pl & 14 & 2 & 0 & 14.3 & 11 & 2 & 0 & 18.2 \\ \hline \textcolor[HTML]{FF0000}{b\_abstract\_interpreter.pl} & \textcolor[HTML]{FF0000}{34} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{3} & \textcolor[HTML]{FF0000}{0.0} & \textcolor[HTML]{FF0000}{13} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} \\ \hline \textcolor[HTML]{FF0000}{b\_abstract\_interpreter\_helpers.pl} & \textcolor[HTML]{FF0000}{32} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{1} & \textcolor[HTML]{FF0000}{0.0} & \textcolor[HTML]{FF0000}{20} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} \\ \hline b\_abstract\_mappings.pl & 19 & 5 & 3 & 31.3 & 12 & 4 & 0 & 33.3 \\ \hline \textcolor[HTML]{FF0000}{interval.pl} & \textcolor[HTML]{FF0000}{74} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} & \textcolor[HTML]{FF0000}{35} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} \\ \hline \end{longtable} plugin\_units \begin{longtable}{|l|r|r|r|r|r|r|r|r|} \hline module & clauses & covered & uncoverable & \% & preds & covered & uncoverable & \% \\ \hline \textbf{summary} & \textbf{457} & \textbf{86} & \textbf{14} & \textbf{19.4} & \textbf{133} & \textbf{31} & \textbf{3} & \textbf{23.8} \\ \hline unit\_parser.pl & 22 & 13 & 0 & 59.1 & 7 & 6 & 0 & 85.7 \\ \hline \textcolor[HTML]{FF0000}{units.pl} & \textcolor[HTML]{FF0000}{41} & \textcolor[HTML]{FF0000}{4} & \textcolor[HTML]{FF0000}{7} & \textcolor[HTML]{FF0000}{11.8} & \textcolor[HTML]{FF0000}{25} & \textcolor[HTML]{FF0000}{2} & \textcolor[HTML]{FF0000}{2} & \textcolor[HTML]{FF0000}{8.7} \\ \hline units\_alias.pl & 18 & 5 & 0 & 27.8 & 3 & 1 & 0 & 33.3 \\ \hline units\_conversions.pl & 6 & 5 & 0 & 83.3 & 2 & 1 & 0 & 50.0 \\ \hline units\_domain.pl & 79 & 50 & 0 & 63.3 & 27 & 19 & 0 & 70.4 \\ \hline \textcolor[HTML]{FF0000}{units\_interpreter.pl} & \textcolor[HTML]{FF0000}{159} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{3} & \textcolor[HTML]{FF0000}{0.0} & \textcolor[HTML]{FF0000}{18} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{1} & \textcolor[HTML]{FF0000}{0.0} \\ \hline \textcolor[HTML]{FF0000}{units\_interpreter\_helpers.pl} & \textcolor[HTML]{FF0000}{68} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{3} & \textcolor[HTML]{FF0000}{0.0} & \textcolor[HTML]{FF0000}{30} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} \\ \hline \textcolor[HTML]{FF0000}{units\_prettyprint.pl} & \textcolor[HTML]{FF0000}{37} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{1} & \textcolor[HTML]{FF0000}{0.0} & \textcolor[HTML]{FF0000}{10} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} \\ \hline units\_tools.pl & 27 & 9 & 0 & 33.3 & 11 & 2 & 0 & 18.2 \\ \hline \end{longtable} plugin\_xtl \begin{longtable}{|l|r|r|r|r|r|r|r|r|} \hline module & clauses & covered & uncoverable & \% & preds & covered & uncoverable & \% \\ \hline \textbf{summary} & \textbf{14} & \textbf{1} & \textbf{0} & \textbf{7.1} & \textbf{12} & \textbf{1} & \textbf{0} & \textbf{8.3} \\ \hline \textcolor[HTML]{FF0000}{xtl.pl} & \textcolor[HTML]{FF0000}{13} & \textcolor[HTML]{FF0000}{1} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{7.7} & \textcolor[HTML]{FF0000}{11} & \textcolor[HTML]{FF0000}{1} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{9.1} \\ \hline \textcolor[HTML]{FF0000}{xtl\_program.pl} & \textcolor[HTML]{FF0000}{1} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} & \textcolor[HTML]{FF0000}{1} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} \\ \hline \end{longtable} promela \begin{longtable}{|l|r|r|r|r|r|r|r|r|} \hline module & clauses & covered & uncoverable & \% & preds & covered & uncoverable & \% \\ \hline \textbf{summary} & \textbf{248} & \textbf{0} & \textbf{0} & \textbf{0.0} & \textbf{88} & \textbf{0} & \textbf{0} & \textbf{0.0} \\ \hline \textcolor[HTML]{FF0000}{h\_int.pl} & \textcolor[HTML]{FF0000}{213} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} & \textcolor[HTML]{FF0000}{60} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} \\ \hline \textcolor[HTML]{FF0000}{promela\_ncprinter.pl} & \textcolor[HTML]{FF0000}{21} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} & \textcolor[HTML]{FF0000}{17} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} \\ \hline \textcolor[HTML]{FF0000}{promela\_tools.pl} & \textcolor[HTML]{FF0000}{14} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} & \textcolor[HTML]{FF0000}{11} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} \\ \hline \end{longtable} proz \begin{longtable}{|l|r|r|r|r|r|r|r|r|} \hline module & clauses & covered & uncoverable & \% & preds & covered & uncoverable & \% \\ \hline \textbf{summary} & \textbf{1339} & \textbf{965} & \textbf{0} & \textbf{72.1} & \textbf{458} & \textbf{346} & \textbf{0} & \textbf{75.5} \\ \hline kernel\_freetypes.pl & 62 & 48 & 0 & 77.4 & 35 & 27 & 0 & 77.1 \\ \hline kernel\_z.pl & 15 & 15 & 0 & 100.0 & 11 & 11 & 0 & 100.0 \\ \hline consistencycheck.pl & 125 & 94 & 0 & 75.2 & 16 & 14 & 0 & 87.5 \\ \hline dependence.pl & 31 & 18 & 0 & 58.1 & 6 & 6 & 0 & 100.0 \\ \hline fuzzfile.pl & 44 & 43 & 0 & 97.7 & 25 & 24 & 0 & 96.0 \\ \hline proz.pl & 287 & 205 & 0 & 71.4 & 110 & 79 & 0 & 71.8 \\ \hline schemaexpansion.pl & 92 & 30 & 0 & 32.6 & 40 & 16 & 0 & 40.0 \\ \hline \textcolor[HTML]{FF0000}{schemavars.pl} & \textcolor[HTML]{FF0000}{23} & \textcolor[HTML]{FF0000}{2} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{8.7} & \textcolor[HTML]{FF0000}{6} & \textcolor[HTML]{FF0000}{2} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{33.3} \\ \hline subexpressions.pl & 186 & 140 & 0 & 75.3 & 48 & 39 & 0 & 81.3 \\ \hline z\_tools.pl & 34 & 18 & 0 & 52.9 & 22 & 12 & 0 & 54.5 \\ \hline z\_typechecker.pl & 264 & 200 & 0 & 75.8 & 64 & 47 & 0 & 73.4 \\ \hline zenvironment.pl & 11 & 10 & 0 & 90.9 & 7 & 7 & 0 & 100.0 \\ \hline zparameters.pl & 9 & 1 & 0 & 11.1 & 3 & 1 & 0 & 33.3 \\ \hline ztransformations.pl & 156 & 141 & 0 & 90.4 & 65 & 61 & 0 & 93.8 \\ \hline \end{longtable} repl \begin{longtable}{|l|r|r|r|r|r|r|r|r|} \hline module & clauses & covered & uncoverable & \% & preds & covered & uncoverable & \% \\ \hline \textbf{summary} & \textbf{283} & \textbf{143} & \textbf{0} & \textbf{50.5} & \textbf{129} & \textbf{54} & \textbf{0} & \textbf{41.9} \\ \hline eval\_strings.pl & 283 & 143 & 1 & 50.7 & 129 & 54 & 0 & 41.9 \\ \hline \end{longtable} smt\_solvers \begin{longtable}{|l|r|r|r|r|r|r|r|r|} \hline module & clauses & covered & uncoverable & \% & preds & covered & uncoverable & \% \\ \hline \textbf{summary} & \textbf{412} & \textbf{2} & \textbf{4} & \textbf{0.5} & \textbf{121} & \textbf{1} & \textbf{0} & \textbf{0.8} \\ \hline \textcolor[HTML]{FF0000}{ast\_cleanup\_for\_smt.pl} & \textcolor[HTML]{FF0000}{91} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} & \textcolor[HTML]{FF0000}{25} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} \\ \hline \textcolor[HTML]{FF0000}{model\_translation.pl} & \textcolor[HTML]{FF0000}{77} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{1} & \textcolor[HTML]{FF0000}{0.0} & \textcolor[HTML]{FF0000}{27} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} \\ \hline \textcolor[HTML]{FF0000}{prob\_state\_predicates.pl} & \textcolor[HTML]{FF0000}{16} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} & \textcolor[HTML]{FF0000}{4} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} \\ \hline \textcolor[HTML]{FF0000}{seq\_rewriter.pl} & \textcolor[HTML]{FF0000}{35} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} & \textcolor[HTML]{FF0000}{12} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} \\ \hline \textcolor[HTML]{FF0000}{smt\_common\_predicates.pl} & \textcolor[HTML]{FF0000}{1} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} & \textcolor[HTML]{FF0000}{1} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} \\ \hline \textcolor[HTML]{FF0000}{smt\_solvers\_interface.pl} & \textcolor[HTML]{FF0000}{186} & \textcolor[HTML]{FF0000}{2} & \textcolor[HTML]{FF0000}{3} & \textcolor[HTML]{FF0000}{1.1} & \textcolor[HTML]{FF0000}{49} & \textcolor[HTML]{FF0000}{1} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{2.0} \\ \hline \textcolor[HTML]{FF0000}{solver\_dispatcher.pl} & \textcolor[HTML]{FF0000}{6} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} & \textcolor[HTML]{FF0000}{3} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} \\ \hline \end{longtable} smtlib \begin{longtable}{|l|r|r|r|r|r|r|r|r|} \hline module & clauses & covered & uncoverable & \% & preds & covered & uncoverable & \% \\ \hline \textbf{summary} & \textbf{271} & \textbf{0} & \textbf{0} & \textbf{0.0} & \textbf{91} & \textbf{0} & \textbf{0} & \textbf{0.0} \\ \hline \textcolor[HTML]{FF0000}{smtlib2\_cli.pl} & \textcolor[HTML]{FF0000}{6} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} & \textcolor[HTML]{FF0000}{4} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} \\ \hline \textcolor[HTML]{FF0000}{smtlib2\_environment.pl} & \textcolor[HTML]{FF0000}{17} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} & \textcolor[HTML]{FF0000}{14} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} \\ \hline \textcolor[HTML]{FF0000}{smtlib2\_interpreter.pl} & \textcolor[HTML]{FF0000}{42} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} & \textcolor[HTML]{FF0000}{10} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} \\ \hline \textcolor[HTML]{FF0000}{smtlib2\_parser.pl} & \textcolor[HTML]{FF0000}{98} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} & \textcolor[HTML]{FF0000}{38} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} \\ \hline \textcolor[HTML]{FF0000}{smtlib2\_translation.pl} & \textcolor[HTML]{FF0000}{108} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} & \textcolor[HTML]{FF0000}{25} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} \\ \hline \end{longtable} symbolic\_model\_checker \begin{longtable}{|l|r|r|r|r|r|r|r|r|} \hline module & clauses & covered & uncoverable & \% & preds & covered & uncoverable & \% \\ \hline \textbf{summary} & \textbf{274} & \textbf{0} & \textbf{1} & \textbf{0.0} & \textbf{170} & \textbf{0} & \textbf{0} & \textbf{0.0} \\ \hline \textcolor[HTML]{FF0000}{bmc.pl} & \textcolor[HTML]{FF0000}{23} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} & \textcolor[HTML]{FF0000}{14} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} \\ \hline \textcolor[HTML]{FF0000}{cbc\_ba.pl} & \textcolor[HTML]{FF0000}{8} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} & \textcolor[HTML]{FF0000}{4} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} \\ \hline \textcolor[HTML]{FF0000}{ctigar.pl} & \textcolor[HTML]{FF0000}{49} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} & \textcolor[HTML]{FF0000}{32} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} \\ \hline \textcolor[HTML]{FF0000}{ic3.pl} & \textcolor[HTML]{FF0000}{52} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{1} & \textcolor[HTML]{FF0000}{0.0} & \textcolor[HTML]{FF0000}{34} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} \\ \hline \textcolor[HTML]{FF0000}{kinduction.pl} & \textcolor[HTML]{FF0000}{31} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} & \textcolor[HTML]{FF0000}{18} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} \\ \hline \textcolor[HTML]{FF0000}{mic\_generation.pl} & \textcolor[HTML]{FF0000}{20} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} & \textcolor[HTML]{FF0000}{10} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} \\ \hline \textcolor[HTML]{FF0000}{predicate\_abstraction.pl} & \textcolor[HTML]{FF0000}{15} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} & \textcolor[HTML]{FF0000}{8} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} \\ \hline \textcolor[HTML]{FF0000}{predicate\_handling.pl} & \textcolor[HTML]{FF0000}{47} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} & \textcolor[HTML]{FF0000}{31} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} \\ \hline \textcolor[HTML]{FF0000}{solver\_handling.pl} & \textcolor[HTML]{FF0000}{26} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} & \textcolor[HTML]{FF0000}{17} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} \\ \hline \textcolor[HTML]{FF0000}{unsat\_core\_generalization.pl} & \textcolor[HTML]{FF0000}{3} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} & \textcolor[HTML]{FF0000}{2} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} \\ \hline \end{longtable} symmetry \begin{longtable}{|l|r|r|r|r|r|r|r|r|} \hline module & clauses & covered & uncoverable & \% & preds & covered & uncoverable & \% \\ \hline \textbf{summary} & \textbf{283} & \textbf{50} & \textbf{1} & \textbf{17.7} & \textbf{116} & \textbf{28} & \textbf{0} & \textbf{24.1} \\ \hline \textcolor[HTML]{FF0000}{graphiso.pl} & \textcolor[HTML]{FF0000}{11} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} & \textcolor[HTML]{FF0000}{5} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} \\ \hline \textcolor[HTML]{FF0000}{graph\_canon.pl} & \textcolor[HTML]{FF0000}{87} & \textcolor[HTML]{FF0000}{1} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{1.1} & \textcolor[HTML]{FF0000}{39} & \textcolor[HTML]{FF0000}{1} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{2.6} \\ \hline \textcolor[HTML]{FF0000}{graph\_iso\_nauty.pl} & \textcolor[HTML]{FF0000}{61} & \textcolor[HTML]{FF0000}{4} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{6.6} & \textcolor[HTML]{FF0000}{31} & \textcolor[HTML]{FF0000}{3} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{9.7} \\ \hline state\_permuter.pl & 32 & 12 & 0 & 37.5 & 10 & 7 & 0 & 70.0 \\ \hline symmetry\_marker.pl & 92 & 33 & 1 & 36.3 & 31 & 17 & 0 & 54.8 \\ \hline \end{longtable} tcltk \begin{longtable}{|l|r|r|r|r|r|r|r|r|} \hline module & clauses & covered & uncoverable & \% & preds & covered & uncoverable & \% \\ \hline \textbf{summary} & \textbf{42} & \textbf{0} & \textbf{0} & \textbf{0.0} & \textbf{18} & \textbf{0} & \textbf{0} & \textbf{0.0} \\ \hline \textcolor[HTML]{FF0000}{prologTasks.pl} & \textcolor[HTML]{FF0000}{15} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} & \textcolor[HTML]{FF0000}{7} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} \\ \hline \textcolor[HTML]{FF0000}{tcltk\_tree\_inspector.pl} & \textcolor[HTML]{FF0000}{27} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} & \textcolor[HTML]{FF0000}{11} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} \\ \hline \end{longtable} test\_generation \begin{longtable}{|l|r|r|r|r|r|r|r|r|} \hline module & clauses & covered & uncoverable & \% & preds & covered & uncoverable & \% \\ \hline \textbf{summary} & \textbf{378} & \textbf{1} & \textbf{3} & \textbf{0.3} & \textbf{240} & \textbf{1} & \textbf{0} & \textbf{0.4} \\ \hline \textcolor[HTML]{FF0000}{mcdc\_coverage.pl} & \textcolor[HTML]{FF0000}{59} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{2} & \textcolor[HTML]{FF0000}{0.0} & \textcolor[HTML]{FF0000}{22} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} \\ \hline \textcolor[HTML]{FF0000}{sap.pl} & \textcolor[HTML]{FF0000}{319} & \textcolor[HTML]{FF0000}{1} & \textcolor[HTML]{FF0000}{3} & \textcolor[HTML]{FF0000}{0.3} & \textcolor[HTML]{FF0000}{218} & \textcolor[HTML]{FF0000}{1} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.5} \\ \hline \end{longtable} testing \begin{longtable}{|l|r|r|r|r|r|r|r|r|} \hline module & clauses & covered & uncoverable & \% & preds & covered & uncoverable & \% \\ \hline \textbf{summary} & \textbf{436} & \textbf{135} & \textbf{0} & \textbf{31.0} & \textbf{163} & \textbf{65} & \textbf{0} & \textbf{39.9} \\ \hline b\_trace\_checking.pl & 94 & 45 & 0 & 47.9 & 38 & 24 & 0 & 63.2 \\ \hline test\_runner.pl & 227 & 36 & 0 & 15.9 & 99 & 27 & 0 & 27.3 \\ \hline typechecker.pl & 115 & 54 & 0 & 47.0 & 26 & 14 & 0 & 53.8 \\ \hline \end{longtable} tools \begin{longtable}{|l|r|r|r|r|r|r|r|r|} \hline module & clauses & covered & uncoverable & \% & preds & covered & uncoverable & \% \\ \hline \textbf{summary} & \textbf{1706} & \textbf{612} & \textbf{6} & \textbf{36.0} & \textbf{492} & \textbf{246} & \textbf{0} & \textbf{50.0} \\ \hline \textcolor[HTML]{FF0000}{fdr\_csp\_generator.pl} & \textcolor[HTML]{FF0000}{72} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} & \textcolor[HTML]{FF0000}{39} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} \\ \hline gensym.pl & 11 & 8 & 0 & 72.7 & 9 & 6 & 0 & 66.7 \\ \hline pref\_definitions.pl & 22 & 14 & 0 & 63.6 & 10 & 8 & 0 & 80.0 \\ \hline \textcolor[HTML]{FF0000}{static\_ordering.pl} & \textcolor[HTML]{FF0000}{12} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} & \textcolor[HTML]{FF0000}{7} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.0} \\ \hline system\_call.pl & 12 & 6 & 1 & 54.5 & 11 & 6 & 0 & 54.5 \\ \hline translate.pl & 1439 & 583 & 5 & 40.7 & 409 & 225 & 0 & 55.0 \\ \hline \textcolor[HTML]{FF0000}{translate\_keywords.pl} & \textcolor[HTML]{FF0000}{138} & \textcolor[HTML]{FF0000}{1} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{0.7} & \textcolor[HTML]{FF0000}{7} & \textcolor[HTML]{FF0000}{1} & \textcolor[HTML]{FF0000}{0} & \textcolor[HTML]{FF0000}{14.3} \\ \hline \end{longtable} typechecker \begin{longtable}{|l|r|r|r|r|r|r|r|r|} \hline module & clauses & covered & uncoverable & \% & preds & covered & uncoverable & \% \\ \hline \textbf{summary} & \textbf{3194} & \textbf{2225} & \textbf{31} & \textbf{70.3} & \textbf{1435} & \textbf{1123} & \textbf{0} & \textbf{78.3} \\ \hline b\_ast\_cleanup.pl & 539 & 415 & 2 & 77.3 & 182 & 151 & 0 & 83.0 \\ \hline b\_read\_write\_info.pl & 130 & 65 & 2 & 50.8 & 63 & 40 & 0 & 63.5 \\ \hline bmachine\_construction.pl & 439 & 345 & 6 & 79.7 & 281 & 249 & 0 & 88.6 \\ \hline bmachine\_eventb.pl & 455 & 296 & 3 & 65.5 & 273 & 219 & 0 & 80.2 \\ \hline bmachine\_static\_checks.pl & 35 & 25 & 0 & 71.4 & 21 & 18 & 0 & 85.7 \\ \hline bmachine\_structure.pl & 23 & 23 & 0 & 100.0 & 17 & 17 & 0 & 100.0 \\ \hline bsyntaxtree.pl & 792 & 557 & 11 & 71.3 & 249 & 195 & 0 & 78.3 \\ \hline btypechecker.pl & 523 & 393 & 1 & 75.3 & 188 & 148 & 0 & 78.7 \\ \hline parsercall.pl & 150 & 66 & 7 & 46.2 & 87 & 53 & 0 & 60.9 \\ \hline pragmas.pl & 12 & 3 & 0 & 25.0 & 6 & 3 & 0 & 50.0 \\ \hline record\_detection.pl & 96 & 37 & 1 & 38.9 & 68 & 30 & 0 & 44.1 \\ \hline \end{longtable} \end{document}