Skip to content
Snippets Groups Projects
Normal view Permalink
metrics.html 90.3 KiB
Newer Older
Virgile Prevosto's avatar
Merge branch 'fix/andre/ptests-stdopt-log' into 'master'
Virgile Prevosto committed
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52 53 54 55 56 57 58 59 60 61 62 63 64 65 66 67 68 69 70 71 72 73 74 75 76 77 78 79 80 81 82 83 84 85 86 87 88 89 90 91 92 93 94 95 96 97 98 99 100 101 102 103 104 105 106 107 108 109 110 111 112 113 114 115 116 117 118 119 120 121 122 123 124 125 126 127 128 129 130 131 132 133 134 135 136 137 138 139 140 141 142 143 144 145 146 147 148 149 150 151 152 153 154 155 156 157 158 159 160 161 162 163 164 165 166 167 168 169 170 171 172 173 174 175 176 177 178 179 180 181 182 183 184 185 186 187 188 189 190 191 192 193 194 195 196 197 198 199 200 201 202 203 204 205 206 207 208 209 210 211 212 213 214 215 216 217 218 219 220 221 222 223 224 225 226 227 228 229 230 231 232 233 234 235 236 237 238 239 240 241 242 243 244 245 246 247 248 249 250 251 252 253 254 255 256 257 258 259 260 261 262 263 264 265 266 267 268 269 270 271 272 273 274 275 276 277 278 279 280 281 282 283 284 285 286 287 288 289 290 291 292 293 294 295 296 297 298 299 300 301 302 303 304 305 306 307 308 309 310 311 312 313 314 315 316 317 318 319 320 321 322 323 324 325 326 327 328 329 330 331 332 333 334 335 336 337 338 339 340 341 342 343 344 345 346 347 348 349 350 351 352 353 354 355 356 357 358 359 360 361 362 363 364 365 366 367 368 369 370 371 372 373 374 375 376 377 378 379 380 381 382 383 384 385 386 387 388 389 390 391 392 393 394 395 396 397 398 399 400 401 402 403 404 405 406 407 408 409 410 411 412 413 414 415 416 417 418 419 420 421 422 423 424 425 426 427 428 429 430 431 432 433 434 435 436 437 438 439 440 441 442 443 444 445 446 447 448 449 450 451 452 453 454 455 456 457 458 459 460 461 462 463 464 465 466 467 468 469 470 471 472 473 474 475 476 477 478 479 480 481 482 483 484 485 486 487 488 489 490 491 492 493 494 495 496 497 498 499 500 501 502 503 504 505 506 507 508 509 510 511 512 513 514 515 516 517 518 519 520 521 522 523 524 525 526 527 528 529 530 531 532 533 534 535 536 537 538 539 540 541 542 543 544 545 546 547 548 549 550 551 552 553 554 555 556 557 558 559 560 561 562 563 564 565 566 567 568 569 570 571 572 573 574 575 576 577 578 579 580 581 582 583 584 585 586 587 588 589 590 591 592 593 594 595 596 597 598 599 600 601 602 603 604 605 606 607 608 609 610 611 612 613 614 615 616 617 618 619 620 621 622 623 624 625 626 627 628 629 630 631 632 633 634 635 636 637 638 639 640 641 642 643 644 645 646 647 648 649 650 651 652 653 654 655 656 657 658 659 660 661 662 663 664 665 666 667 668 669 670 671 672 673 674 675 676 677 678 679 680 681 682 683 684 685 686 687 688 689 690 691 692 693 694 695 696 697 698 699 700 701 702 703 704 705 706 707 708 709 710 711 712 713 714 715 716 717 718 719 720 721 722 723 724 725 726 727 728 729 730 731 732 733 734 735 736 737 738 739 740 741 742 743 744 745 746 747 748 749 750 751 752 753 754 755 756 757 758 759 760 761 762 763 764 765 766 767 768 769 770 771 772 773 774 775 776 777 778 779 780 781 782 783 784 785 786 787 788 789 790 791 792 793 794 795 796 797 798 799 800 801 802 803 804 805 806 807 808 809 810 811 812 813 814 815 816 817 818 819 820 821 822 823 824 825 826 827 828 829 830 831 832 833 834 835 836 837 838 839 840 841 842 843 844 845 846 847 848 849 850 851 852 853 854 855 856 857 858 859 860 861 862 863 864 865 866 867 868 869 870 871 872 873 874 875 876 877 878 879 880 881 882 883 884 885 886 887 888 889 890 891 892 893 894 895 896 897 898 899 900 901 902 903 904 905 906 907 908 909 910 911 912 913 914 915 916 917 918 919 920 921 922 923 924 925 926 927 928 929 930 931 932 933 934 935 936 937 938 939 940 941 942 943 944 945 946 947 948 949 950 951 952 953 954 955 956 957 958 959 960 961 962 963 964 965 966 967 968 969 970 971 972 973 974 975 976 977 978 979 980 981 982 983 984 985 986 987 988 989 990 991 992 993 994 995 
<html>
  <head>
    <title>OCaml metrics report</title>
    <style type="text/css">    h1 { background-color: #AAAAAA; margin-top:50px; }     table { border: 2px #000000 solid; border-collapse: collapse; }     td { width: 50px; border: 1px solid #aaaaaa; }     td.wide {border-right: 2px solid black; width: auto; padding: 0px 5px; }     </style>
</head>
  <body>
    <h1>Calculated metrics</h1>
    <ul>
    <li><b>LOC</b> (<i>Lines Of Code</i>) &ndash; number of lines of the function source or the module source</li>
    <li><b>CC</b> (<i>McCabe Cyclomatic Complexity</i>) &ndash; the number of linearly independent paths through the source, </li>
    <li><b>HD</b> (<i>Halstead Difficulty</i>) &ndash; how complex the code is (eg. how many different operators are used)</li>
    <li><b>HV</b> (<i>Halstead Volume</i>) &ndash; how long the code is</li>
    <li><b>HE</b> (<i>Halstead Effort</i>) &ndash; HD &times; HV, how many brain operations are needed to create the code :)</li>
    <li><b>N</b> (<i>Number of functions</i>) &ndash; Number of functions and methods in a given module</li>
    <li><b>avgCC</b> (<i>average Cyclomatic Complexity</i>) &ndash; average CC of the functions and methods in a given module</li>
    <li><b>avgLOC</b> (<i>average Lines of Code</i>) &ndash; average LOC of the functions and methods in a given module</li>
    <li><b>avgHV</b> (<i>average Halstead Volume</i>) &ndash; average HV of the functions and methods in a given module</li>
    <li><b>MI</b> (<i>Maintainability Index</i>) &ndash; Depends on CC, LOC and HV (or avgCC, avgLOC, avgHV), how easy to maintain the code is</li>
    </ul>
    <p>Learn more about <a href="http://en.wikipedia.org/wiki/Cyclomatic_complexity">Cyclomatic_Complexity<a/> and <a href="http://en.wikipedia.org/wiki/Halstead_complexity_measures">Halstead complexity measures</a>.</p>    <h1>Top 10 worst modules</h1>
    <table>
    <tr><td class="wide"><b>name</b></td><td><b>N</b></td><td><b>LOC</b></td><td><b>HD</b></td><td><b>HV</b></td><td><b>HE</b></td><td><b>avgCC</b></td><td><b>avgLOC</b></td><td><b>avgHV</b></td><td><b>MI</b></td></tr>
      <tr><td class="wide"><b><tt>Infer_annotations</b></tt></td><td bgcolor="#ffff00">4</td><td bgcolor="#ffff00">201</td><td bgcolor="#ffff00">64</td><td bgcolor="#ffff00">7553</td><td bgcolor="#ffff00">485108</td><td bgcolor="#ffb100">9</td><td bgcolor="#ff7a00">49</td><td bgcolor="#ffec00">1638</td><td bgcolor="#ff1500">68</td></tr>
      <tr><td class="wide"><b><tt>Unroll_loops</b></tt></td><td bgcolor="#ffff00">9</td><td bgcolor="#ffff00">254</td><td bgcolor="#ffff00">89</td><td bgcolor="#ffff00">12121</td><td bgcolor="#fffc00">1079450</td><td bgcolor="#ffff00">4</td><td bgcolor="#ffcf00">27</td><td bgcolor="#fffe00">1002</td><td bgcolor="#ff8400">81</td></tr>
      <tr><td class="wide"><b><tt>State_topological</b></tt></td><td bgcolor="#ffff00">2</td><td bgcolor="#ffff00">59</td><td bgcolor="#ffff00">53</td><td bgcolor="#ffff00">2254</td><td bgcolor="#ffff00">119775</td><td bgcolor="#ffc600">8</td><td bgcolor="#ffd700">25</td><td bgcolor="#ffff00">868</td><td bgcolor="#ff8f00">82</td></tr>
      <tr><td class="wide"><b><tt>Widen</b></tt></td><td bgcolor="#ffff00">8</td><td bgcolor="#ffff00">215</td><td bgcolor="#ffff00">70</td><td bgcolor="#ffff00">9470</td><td bgcolor="#ffff00">666926</td><td bgcolor="#ffff00">4</td><td bgcolor="#ffd800">25</td><td bgcolor="#ffff00">957</td><td bgcolor="#ff9400">82</td></tr>
      <tr><td class="wide"><b><tt>Bit_utils</b></tt></td><td bgcolor="#ffff00">17</td><td bgcolor="#fff800">319</td><td bgcolor="#ffd700">116</td><td bgcolor="#fff600">16143</td><td bgcolor="#ffe600">1865697</td><td bgcolor="#ffff00">4</td><td bgcolor="#fff400">18</td><td bgcolor="#ffff00">742</td><td bgcolor="#ffcd00">89</td></tr>
      <tr><td class="wide"><b><tt>Lmap_whole</b></tt></td><td bgcolor="#ff6600">40</td><td bgcolor="#ff4a00">795</td><td bgcolor="#ff6d00">157</td><td bgcolor="#ff8400">31801</td><td bgcolor="#ff8d00">4989276</td><td bgcolor="#ffff00">4</td><td bgcolor="#ffee00">19</td><td bgcolor="#ffff00">517</td><td bgcolor="#ffd200">90</td></tr>
      <tr><td class="wide"><b><tt>Filter</b></tt></td><td bgcolor="#ff7a00">38</td><td bgcolor="#ff9c00">571</td><td bgcolor="#ff6900">159</td><td bgcolor="#ff6a00">35336</td><td bgcolor="#ff7c00">5610188</td><td bgcolor="#ffff00">3</td><td bgcolor="#ffff00">14</td><td bgcolor="#ffff00">561</td><td bgcolor="#fffd00">95</td></tr>
      <tr><td class="wide"><b><tt>File</b></tt></td><td bgcolor="#ff0000">75</td><td bgcolor="#ff0000">1091</td><td bgcolor="#ff4300">174</td><td bgcolor="#ff0000">61178</td><td bgcolor="#ff0000">10620889</td><td bgcolor="#ffff00">3</td><td bgcolor="#ffff00">14</td><td bgcolor="#ffff00">490</td><td bgcolor="#ffff00">96</td></tr>
      <tr><td class="wide"><b><tt>CilE</b></tt></td><td bgcolor="#ffad00">33</td><td bgcolor="#ffc900">447</td><td bgcolor="#ffef00">106</td><td bgcolor="#ffc100">23510</td><td bgcolor="#ffd400">2492705</td><td bgcolor="#ffff00">3</td><td bgcolor="#ffff00">13</td><td bgcolor="#ffff00">477</td><td bgcolor="#ffff00">97</td></tr>
      <tr><td class="wide"><b><tt>Lmap</b></tt></td><td bgcolor="#ff0000">66</td><td bgcolor="#ff0000">1002</td><td bgcolor="#ff0400">198</td><td bgcolor="#ff2400">44965</td><td bgcolor="#ff1e00">8907006</td><td bgcolor="#ffff00">3</td><td bgcolor="#ffff00">14</td><td bgcolor="#ffff00">361</td><td bgcolor="#ffff00">98</td></tr>
    </table>
    <h1>Top 25 worst functions</h1>
    <table>
    <tr><td class="wide"><b>module name</b></td> <td class="wide"><b>name</b></td> <td class="wide"><b>line</b></td><td><b>LOC</b></td><td><b>CC</b></td><td><b>HD</b></td><td><b>HV</b></td><td><b>HE</b></td><td><b>MI</b></td></tr>
      <tr><td class="wide"><b><tt>Bit_utils</tt></b></td><td class="wide">function <b><tt>pretty_bits_internal</b></tt></td><td class="wide">167</td><td bgcolor="#ff0000">210</td><td bgcolor="#ff0000">40</td><td bgcolor="#ff0000">85</td><td bgcolor="#ff0000">9903</td><td bgcolor="#ff0000">843561</td><td bgcolor="#ff0000">27</td></tr>
      <tr><td class="wide"><b><tt>Unmarshal</tt></b></td><td class="wide">function <b><tt>input_val</b></tt></td><td class="wide">380</td><td bgcolor="#ff0000">192</td><td bgcolor="#ff9600">17</td><td bgcolor="#ff0000">101</td><td bgcolor="#ff0000">8590</td><td bgcolor="#ff0000">865315</td><td bgcolor="#ff0000">35</td></tr>
      <tr><td class="wide"><b><tt>Offsetmap_bitwise</tt></b></td><td class="wide">function <b><tt>map2</b></tt></td><td class="wide">360</td><td bgcolor="#ff0000">147</td><td bgcolor="#ff5100">23</td><td bgcolor="#ff0000">106</td><td bgcolor="#ff0000">7051</td><td bgcolor="#ff0000">749884</td><td bgcolor="#ff0000">39</td></tr>
      <tr><td class="wide"><b><tt>File</tt></b></td><td class="wide">function <b><tt>files_to_cil</b></tt></td><td class="wide">652</td><td bgcolor="#ff0000">142</td><td bgcolor="#ff3900">25</td><td bgcolor="#ff5200">62</td><td bgcolor="#ff0000">6846</td><td bgcolor="#ff0000">426273</td><td bgcolor="#ff0000">39</td></tr>
      <tr><td class="wide"><b><tt>Widen</tt></b></td><td class="wide">method <b><tt>vstmt</b></tt></td><td class="wide">40</td><td bgcolor="#ff0000">125</td><td bgcolor="#ff7f00">19</td><td bgcolor="#ff9000">49</td><td bgcolor="#ff4000">4733</td><td bgcolor="#ff0000">231009</td><td bgcolor="#ff0000">44</td></tr>
      <tr><td class="wide"><b><tt>New_offsetmap</tt></b></td><td class="wide">function <b><tt>nc_is</b></tt></td><td class="wide">709</td><td bgcolor="#ff0000">128</td><td bgcolor="#ffad00">15</td><td bgcolor="#ff0600">79</td><td bgcolor="#ff6200">4067</td><td bgcolor="#ff0000">319667</td><td bgcolor="#ff0000">46</td></tr>
      <tr><td class="wide"><b><tt>Logic_interp</tt></b></td><td class="wide">method <b><tt>vterm</b></tt></td><td class="wide">549</td><td bgcolor="#ff0000">116</td><td bgcolor="#ffc500">13</td><td bgcolor="#ff0100">80</td><td bgcolor="#ff1900">5491</td><td bgcolor="#ff0000">437572</td><td bgcolor="#ff0000">46</td></tr>
      <tr><td class="wide"><b><tt>Visitor</tt></b></td><td class="wide">method <b><tt>vglob</b></tt></td><td class="wide">198</td><td bgcolor="#ff0000">104</td><td bgcolor="#ff4500">24</td><td bgcolor="#ff3f00">66</td><td bgcolor="#ff5600">4312</td><td bgcolor="#ff0000">285572</td><td bgcolor="#ff0000">47</td></tr>
      <tr><td class="wide"><b><tt>Infer_annotations</tt></b></td><td class="wide">function <b><tt>populate_funspec</b></tt></td><td class="wide">121</td><td bgcolor="#ff0000">113</td><td bgcolor="#ff5100">23</td><td bgcolor="#ff6500">58</td><td bgcolor="#ff8200">3451</td><td bgcolor="#ff0000">200807</td><td bgcolor="#ff0000">47</td></tr>
      <tr><td class="wide"><b><tt>New_offsetmap</tt></b></td><td class="wide">function <b><tt>is_included_generic_exn</b></tt></td><td class="wide">842</td><td bgcolor="#ff0000">118</td><td bgcolor="#ffa200">16</td><td bgcolor="#ff0200">79</td><td bgcolor="#ff6500">4001</td><td bgcolor="#ff0000">317785</td><td bgcolor="#ff0000">47</td></tr>
      <tr><td class="wide"><b><tt>Offsetmap</tt></b></td><td class="wide">function <b><tt>reduce_ival_by_bound</b></tt></td><td class="wide">1230</td><td bgcolor="#ff0000">102</td><td bgcolor="#ff8b00">18</td><td bgcolor="#ff8500">51</td><td bgcolor="#ff4700">4607</td><td bgcolor="#ff0000">236171</td><td bgcolor="#ff0000">48</td></tr>
      <tr><td class="wide"><b><tt>Ival</tt></b></td><td class="wide">function <b><tt>bitwise_and</b></tt></td><td class="wide">2197</td><td bgcolor="#ff0000">105</td><td bgcolor="#ff9600">17</td><td bgcolor="#ff9c00">46</td><td bgcolor="#ff7700">3658</td><td bgcolor="#ff0000">169029</td><td bgcolor="#ff0000">49</td></tr>
      <tr><td class="wide"><b><tt>Offsetmap</tt></b></td><td class="wide">function <b><tt>over_intersection</b></tt></td><td class="wide">952</td><td bgcolor="#ff0600">98</td><td bgcolor="#ff8b00">18</td><td bgcolor="#ffbb00">40</td><td bgcolor="#ff6100">4089</td><td bgcolor="#ff0000">162032</td><td bgcolor="#ff0000">49</td></tr>
      <tr><td class="wide"><b><tt>Properties_status</tt></b></td><td class="wide">function <b><tt>get_binding</b></tt></td><td class="wide">265</td><td bgcolor="#ff0000">100</td><td bgcolor="#ff8b00">18</td><td bgcolor="#ff2900">71</td><td bgcolor="#ff7100">3784</td><td bgcolor="#ff0000">268929</td><td bgcolor="#ff0000">49</td></tr>
      <tr><td class="wide"><b><tt>Visitor</tt></b></td><td class="wide">method <b><tt>vstmt</b></tt></td><td class="wide">95</td><td bgcolor="#ff1f00">90</td><td bgcolor="#ff7300">20</td><td bgcolor="#ff5e00">60</td><td bgcolor="#ff6100">4088</td><td bgcolor="#ff0000">243892</td><td bgcolor="#ff0000">50</td></tr>
      <tr><td class="wide"><b><tt>Relations_type</tt></b></td><td class="wide">function <b><tt>reduce_equality</b></tt></td><td class="wide">1438</td><td bgcolor="#ff0000">111</td><td bgcolor="#fff300">9</td><td bgcolor="#ff8400">51</td><td bgcolor="#ff8300">3428</td><td bgcolor="#ff0000">176135</td><td bgcolor="#ff0000">50</td></tr>
      <tr><td class="wide"><b><tt>Offsetmap</tt></b></td><td class="wide">function <b><tt>unsafe_join</b></tt></td><td class="wide">848</td><td bgcolor="#ff1600">93</td><td bgcolor="#ffb900">14</td><td bgcolor="#ff5f00">59</td><td bgcolor="#ff5b00">4213</td><td bgcolor="#ff0000">250567</td><td bgcolor="#ff0000">51</td></tr>
      <tr><td class="wide"><b><tt>Relations_type</tt></b></td><td class="wide">function <b><tt>add_mem</b></tt></td><td class="wide">1058</td><td bgcolor="#ff0000">107</td><td bgcolor="#ffff00">8</td><td bgcolor="#ffbe00">39</td><td bgcolor="#ff9500">3075</td><td bgcolor="#ff0000">119852</td><td bgcolor="#ff0000">52</td></tr>
      <tr><td class="wide"><b><tt>Relations_type</tt></b></td><td class="wide">function <b><tt>propagate_change_from_real_to_virt</b></tt></td><td class="wide">1185</td><td bgcolor="#ff0000">102</td><td bgcolor="#ffd000">12</td><td bgcolor="#ffd000">35</td><td bgcolor="#ffa600">2738</td><td bgcolor="#ff0900">96128</td><td bgcolor="#ff0000">52</td></tr>
      <tr><td class="wide"><b><tt>New_offsetmap</tt></b></td><td class="wide">function <b><tt>merge</b></tt></td><td class="wide">1025</td><td bgcolor="#ff1f00">90</td><td bgcolor="#ffdc00">11</td><td bgcolor="#ff2f00">70</td><td bgcolor="#ff6700">3969</td><td bgcolor="#ff0000">276486</td><td bgcolor="#ff0000">52</td></tr>
      <tr><td class="wide"><b><tt>Hptmap</tt></b></td><td class="wide">function <b><tt>equal</b></tt></td><td class="wide">1043</td><td bgcolor="#ff2300">89</td><td bgcolor="#ffa200">16</td><td bgcolor="#ff4b00">64</td><td bgcolor="#ffa200">2807</td><td bgcolor="#ff0000">178821</td><td bgcolor="#ff0000">53</td></tr>
      <tr><td class="wide"><b><tt>Relations_type</tt></b></td><td class="wide">function <b><tt>join</b></tt></td><td class="wide">580</td><td bgcolor="#ff1600">93</td><td bgcolor="#ffe700">10</td><td bgcolor="#ffd900">33</td><td bgcolor="#ffa300">2790</td><td bgcolor="#ff1300">92437</td><td bgcolor="#ff0000">54</td></tr>
      <tr><td class="wide"><b><tt>New_offsetmap</tt></b></td><td class="wide">function <b><tt>update_ival</b></tt></td><td class="wide">1668</td><td bgcolor="#ff3f00">80</td><td bgcolor="#ffd000">12</td><td bgcolor="#ff3a00">67</td><td bgcolor="#ff6f00">3810</td><td bgcolor="#ff0000">256900</td><td bgcolor="#ff0000">54</td></tr>
      <tr><td class="wide"><b><tt>File</tt></b></td><td class="wide">function <b><tt>synchronize_source_annot</b></tt></td><td class="wide">814</td><td bgcolor="#ff2f00">85</td><td bgcolor="#ffc500">13</td><td bgcolor="#ff8000">52</td><td bgcolor="#ffa300">2786</td><td bgcolor="#ff0000">145717</td><td bgcolor="#ff0000">55</td></tr>
      <tr><td class="wide"><b><tt>Infer_annotations</tt></b></td><td class="wide">function <b><tt>assigns_from_prototype</b></tt></td><td class="wide">31</td><td bgcolor="#ff4600">78</td><td bgcolor="#ffe700">10</td><td bgcolor="#ffd700">33</td><td bgcolor="#ff9800">3003</td><td bgcolor="#ff0000">100411</td><td bgcolor="#ff0000">56</td></tr>
    </table>
    <h1>Module <tt>Abstract_interp</tt></h1>

    <h2>General metrics</h2>
    <table>
      <tr bgcolor="#ff0000"><td class="wide"><b>N</b></td> <td>290</td></tr>
      <tr bgcolor="#ff0000"><td class="wide"><b>LOC</b></td> <td>1149</td></tr>
      <tr bgcolor="#ff0000"><td class="wide"><b>HD</b></td> <td>267</td></tr>
      <tr bgcolor="#ff0000"><td class="wide"><b>HV</b></td> <td>65430</td></tr>
      <tr bgcolor="#ff0000"><td class="wide"><b>HE</b></td> <td>17499775</td></tr>
      <tr bgcolor="#ffff00"><td class="wide"><b>avgCC</b></td> <td>2</td></tr>
      <tr bgcolor="#ffff00"><td class="wide"><b>avgLOC</b></td> <td>3</td></tr>
      <tr bgcolor="#ffff00"><td class="wide"><b>avgHV</b></td> <td>92</td></tr>
      <tr bgcolor="#ffff00"><td class="wide"><b>MI</b></td> <td>128</td></tr>
    </table>

    <h2>Functions and methods</h2>
    <table>
      <tr><td class="wide"><b>name</b></td><td class="wide"><b>line</b></td><td><b>LOC</b></td><td><b>CC</b></td><td><b>HD</b></td><td><b>HV</b></td><td><b>HE</b></td><td><b>MI</b></td></tr>
      <tr><td class="wide">function <tt><b>join</b></tt></td><td class="wide">702</td><td bgcolor="#ffd800">32</td><td bgcolor="#ffe700">10</td><td bgcolor="#ffe600">30</td><td bgcolor="#ffeb00">1388</td><td bgcolor="#ff9400">42157</td><td bgcolor="#ff5400">75</td></tr>
      <tr><td class="wide">function <tt><b>meet</b></tt></td><td class="wide">657</td><td bgcolor="#ffbf00">40</td><td bgcolor="#ffe700">10</td><td bgcolor="#ffd100">35</td><td bgcolor="#ffdc00">1674</td><td bgcolor="#ff6b00">58222</td><td bgcolor="#ff2d00">70</td></tr>
    </table>

    <h1>Module <tt>Bit_utils</tt></h1>

    <h2>General metrics</h2>
    <table>
      <tr bgcolor="#ffff00"><td class="wide"><b>N</b></td> <td>17</td></tr>
      <tr bgcolor="#fff800"><td class="wide"><b>LOC</b></td> <td>319</td></tr>
      <tr bgcolor="#ffd700"><td class="wide"><b>HD</b></td> <td>116</td></tr>
      <tr bgcolor="#fff600"><td class="wide"><b>HV</b></td> <td>16143</td></tr>
      <tr bgcolor="#ffe600"><td class="wide"><b>HE</b></td> <td>1865697</td></tr>
      <tr bgcolor="#ffff00"><td class="wide"><b>avgCC</b></td> <td>4</td></tr>
      <tr bgcolor="#fff400"><td class="wide"><b>avgLOC</b></td> <td>18</td></tr>
      <tr bgcolor="#ffff00"><td class="wide"><b>avgHV</b></td> <td>742</td></tr>
      <tr bgcolor="#ffcd00"><td class="wide"><b>MI</b></td> <td>89</td></tr>
    </table>

    <h2>Functions and methods</h2>
    <table>
      <tr><td class="wide"><b>name</b></td><td class="wide"><b>line</b></td><td><b>LOC</b></td><td><b>CC</b></td><td><b>HD</b></td><td><b>HV</b></td><td><b>HE</b></td><td><b>MI</b></td></tr>
      <tr><td class="wide">function <tt><b>pretty_bits_internal</b></tt></td><td class="wide">167</td><td bgcolor="#ff0000">210</td><td bgcolor="#ff0000">40</td><td bgcolor="#ff0000">85</td><td bgcolor="#ff0000">9903</td><td bgcolor="#ff0000">843561</td><td bgcolor="#ff0000">27</td></tr>
    </table>

    <h1>Module <tt>CilE</tt></h1>

    <h2>General metrics</h2>
    <table>
      <tr bgcolor="#ffad00"><td class="wide"><b>N</b></td> <td>33</td></tr>
      <tr bgcolor="#ffc900"><td class="wide"><b>LOC</b></td> <td>447</td></tr>
      <tr bgcolor="#ffef00"><td class="wide"><b>HD</b></td> <td>106</td></tr>
      <tr bgcolor="#ffc100"><td class="wide"><b>HV</b></td> <td>23510</td></tr>
      <tr bgcolor="#ffd400"><td class="wide"><b>HE</b></td> <td>2492705</td></tr>
      <tr bgcolor="#ffff00"><td class="wide"><b>avgCC</b></td> <td>3</td></tr>
      <tr bgcolor="#ffff00"><td class="wide"><b>avgLOC</b></td> <td>13</td></tr>
      <tr bgcolor="#ffff00"><td class="wide"><b>avgHV</b></td> <td>477</td></tr>
      <tr bgcolor="#ffff00"><td class="wide"><b>MI</b></td> <td>97</td></tr>
    </table>

    <h2>Functions and methods</h2>
    <table>
      <tr><td class="wide"><b>name</b></td><td class="wide"><b>line</b></td><td><b>LOC</b></td><td><b>CC</b></td><td><b>HD</b></td><td><b>HV</b></td><td><b>HE</b></td><td><b>MI</b></td></tr>
      <tr><td class="wide">function <tt><b>compact_body</b></tt></td><td class="wide">103</td><td bgcolor="#ffa500">48</td><td bgcolor="#ffc500">13</td><td bgcolor="#ff2e00">70</td><td bgcolor="#ffb000">2534</td><td bgcolor="#ff0000">177388</td><td bgcolor="#ff0000">65</td></tr>
      <tr><td class="wide">function <tt><b>comparable_pointers</b></tt></td><td class="wide">393</td><td bgcolor="#ffd500">33</td><td bgcolor="#ffff00">5</td><td bgcolor="#fffe00">25</td><td bgcolor="#ffe200">1556</td><td bgcolor="#ff9c00">39208</td><td bgcolor="#ff5400">75</td></tr>
      <tr><td class="wide">function <tt><b>warn_signed_overflow</b></tt></td><td class="wide">250</td><td bgcolor="#ff9500">53</td><td bgcolor="#ffff00">8</td><td bgcolor="#fff000">28</td><td bgcolor="#ffd600">1803</td><td bgcolor="#ff7e00">50743</td><td bgcolor="#ff0700">66</td></tr>
    </table>

    <h1>Module <tt>Cmdline</tt></h1>

    <h2>General metrics</h2>
    <table>
      <tr bgcolor="#ff0000"><td class="wide"><b>N</b></td> <td>118</td></tr>
      <tr bgcolor="#ff6600"><td class="wide"><b>LOC</b></td> <td>719</td></tr>
      <tr bgcolor="#ff7900"><td class="wide"><b>HD</b></td> <td>152</td></tr>
      <tr bgcolor="#ff7900"><td class="wide"><b>HV</b></td> <td>33333</td></tr>
      <tr bgcolor="#ff8b00"><td class="wide"><b>HE</b></td> <td>5073312</td></tr>
      <tr bgcolor="#ffff00"><td class="wide"><b>avgCC</b></td> <td>2</td></tr>
      <tr bgcolor="#ffff00"><td class="wide"><b>avgLOC</b></td> <td>5</td></tr>
      <tr bgcolor="#ffff00"><td class="wide"><b>avgHV</b></td> <td>148</td></tr>
      <tr bgcolor="#ffff00"><td class="wide"><b>MI</b></td> <td>117</td></tr>
    </table>

    <h2>Functions and methods</h2>
    <table>
      <tr><td class="wide"><b>name</b></td><td class="wide"><b>line</b></td><td><b>LOC</b></td><td><b>CC</b></td><td><b>HD</b></td><td><b>HV</b></td><td><b>HE</b></td><td><b>MI</b></td></tr>
      <tr><td class="wide">function <tt><b>catch_toplevel_run</b></tt></td><td class="wide">158</td><td bgcolor="#ffbc00">41</td><td bgcolor="#ffff00">7</td><td bgcolor="#fff900">26</td><td bgcolor="#ffff00">896</td><td bgcolor="#ffc500">23418</td><td bgcolor="#ff4b00">74</td></tr>
      <tr><td class="wide">function <tt><b>parse</b></tt></td><td class="wide">235</td><td bgcolor="#ff5f00">70</td><td bgcolor="#ffb900">14</td><td bgcolor="#ff9b00">46</td><td bgcolor="#ffaf00">2558</td><td bgcolor="#ff0000">118864</td><td bgcolor="#ff0000">58</td></tr>
      <tr><td class="wide">function <tt><b>plugin_help</b></tt></td><td class="wide">810</td><td bgcolor="#ffac00">46</td><td bgcolor="#ffdc00">11</td><td bgcolor="#ffcc00">36</td><td bgcolor="#ffdd00">1654</td><td bgcolor="#ff6800">59348</td><td bgcolor="#ff1800">68</td></tr>
    </table>

    <h1>Module <tt>Command</tt></h1>

    <h2>General metrics</h2>
    <table>
      <tr bgcolor="#ffff00"><td class="wide"><b>N</b></td> <td>13</td></tr>
      <tr bgcolor="#ffff00"><td class="wide"><b>LOC</b></td> <td>165</td></tr>
      <tr bgcolor="#ffff00"><td class="wide"><b>HD</b></td> <td>78</td></tr>
      <tr bgcolor="#ffff00"><td class="wide"><b>HV</b></td> <td>7103</td></tr>
      <tr bgcolor="#ffff00"><td class="wide"><b>HE</b></td> <td>555876</td></tr>
      <tr bgcolor="#ffff00"><td class="wide"><b>avgCC</b></td> <td>3</td></tr>
      <tr bgcolor="#ffff00"><td class="wide"><b>avgLOC</b></td> <td>13</td></tr>
      <tr bgcolor="#ffff00"><td class="wide"><b>avgHV</b></td> <td>396</td></tr>
      <tr bgcolor="#ffff00"><td class="wide"><b>MI</b></td> <td>98</td></tr>
    </table>

    <h2>Functions and methods</h2>
    <table>
      <tr><td class="wide"><b>name</b></td><td class="wide"><b>line</b></td><td><b>LOC</b></td><td><b>CC</b></td><td><b>HD</b></td><td><b>HV</b></td><td><b>HE</b></td><td><b>MI</b></td></tr>
      <tr><td class="wide">function <tt><b>command_generic</b></tt></td><td class="wide">131</td><td bgcolor="#ffa200">49</td><td bgcolor="#ffff00">6</td><td bgcolor="#ffd200">35</td><td bgcolor="#ffd600">1802</td><td bgcolor="#ff6000">62415</td><td bgcolor="#ff1600">68</td></tr>
    </table>

    <h1>Module <tt>Cvalue_type</tt></h1>

    <h2>General metrics</h2>
    <table>
      <tr bgcolor="#ff0000"><td class="wide"><b>N</b></td> <td>131</td></tr>
      <tr bgcolor="#ff3300"><td class="wide"><b>LOC</b></td> <td>860</td></tr>
      <tr bgcolor="#ff5d00"><td class="wide"><b>HD</b></td> <td>163</td></tr>
      <tr bgcolor="#ff3100"><td class="wide"><b>HV</b></td> <td>43154</td></tr>
      <tr bgcolor="#ff5300"><td class="wide"><b>HE</b></td> <td>7040110</td></tr>
      <tr bgcolor="#ffff00"><td class="wide"><b>avgCC</b></td> <td>2</td></tr>
      <tr bgcolor="#ffff00"><td class="wide"><b>avgLOC</b></td> <td>6</td></tr>
      <tr bgcolor="#ffff00"><td class="wide"><b>avgHV</b></td> <td>172</td></tr>
      <tr bgcolor="#ffff00"><td class="wide"><b>MI</b></td> <td>114</td></tr>
    </table>

    <h2>Functions and methods</h2>
    <table>
      <tr><td class="wide"><b>name</b></td><td class="wide"><b>line</b></td><td><b>LOC</b></td><td><b>CC</b></td><td><b>HD</b></td><td><b>HV</b></td><td><b>HE</b></td><td><b>MI</b></td></tr>
      <tr><td class="wide">function <tt><b>default_offsetmap</b></tt></td><td class="wide">1017</td><td bgcolor="#ffcc00">36</td><td bgcolor="#ffff00">5</td><td bgcolor="#ffff00">25</td><td bgcolor="#ffeb00">1376</td><td bgcolor="#ffa900">34234</td><td bgcolor="#ff4e00">74</td></tr>
    </table>

    <h1>Module <tt>Dashtbl</tt></h1>

    <h2>General metrics</h2>
    <table>
      <tr bgcolor="#ff0000"><td class="wide"><b>N</b></td> <td>66</td></tr>
      <tr bgcolor="#ffbf00"><td class="wide"><b>LOC</b></td> <td>474</td></tr>
      <tr bgcolor="#ff0000"><td class="wide"><b>HD</b></td> <td>208</td></tr>
      <tr bgcolor="#ffa400"><td class="wide"><b>HV</b></td> <td>27372</td></tr>
      <tr bgcolor="#ff7900"><td class="wide"><b>HE</b></td> <td>5695728</td></tr>
      <tr bgcolor="#ffff00"><td class="wide"><b>avgCC</b></td> <td>2</td></tr>
      <tr bgcolor="#ffff00"><td class="wide"><b>avgLOC</b></td> <td>5</td></tr>
      <tr bgcolor="#ffff00"><td class="wide"><b>avgHV</b></td> <td>181</td></tr>
      <tr bgcolor="#ffff00"><td class="wide"><b>MI</b></td> <td>116</td></tr>
    </table>

    <h2>Functions and methods</h2>
    <table>
      <tr><td class="wide"><b>name</b></td><td class="wide"><b>line</b></td><td><b>LOC</b></td><td><b>CC</b></td><td><b>HD</b></td><td><b>HV</b></td><td><b>HE</b></td><td><b>MI</b></td></tr>
      <tr><td class="wide">function <tt><b>unmarshal</b></tt></td><td class="wide">530</td><td bgcolor="#ff9900">52</td><td bgcolor="#ffff00">8</td><td bgcolor="#ffe300">31</td><td bgcolor="#ffd600">1795</td><td bgcolor="#ff7200">55402</td><td bgcolor="#ff0a00">66</td></tr>
    </table>

    <h1>Module <tt>Db</tt></h1>

    <h2>General metrics</h2>
    <table>
      <tr bgcolor="#ff0000"><td class="wide"><b>N</b></td> <td>402</td></tr>
      <tr bgcolor="#ff1c00"><td class="wide"><b>LOC</b></td> <td>923</td></tr>
      <tr bgcolor="#fffe00"><td class="wide"><b>HD</b></td> <td>100</td></tr>
      <tr bgcolor="#ff1c00"><td class="wide"><b>HV</b></td> <td>46052</td></tr>
      <tr bgcolor="#ff9800"><td class="wide"><b>HE</b></td> <td>4606045</td></tr>
      <tr bgcolor="#ffff00"><td class="wide"><b>avgCC</b></td> <td>1</td></tr>
      <tr bgcolor="#ffff00"><td class="wide"><b>avgLOC</b></td> <td>2</td></tr>
      <tr bgcolor="#ffff00"><td class="wide"><b>avgHV</b></td> <td>36</td></tr>
      <tr bgcolor="#ffff00"><td class="wide"><b>MI</b></td> <td>142</td></tr>
    </table>

    <h2>Functions and methods</h2>
    <table>
      <tr><td class="wide"><b>name</b></td><td class="wide"><b>line</b></td><td><b>LOC</b></td><td><b>CC</b></td><td><b>HD</b></td><td><b>HV</b></td><td><b>HE</b></td><td><b>MI</b></td></tr>
      <tr><td class="wide">function <tt><b>display</b></tt></td><td class="wide">444</td><td bgcolor="#ffcf00">35</td><td bgcolor="#ffff00">8</td><td bgcolor="#ffff00">23</td><td bgcolor="#ffe700">1456</td><td bgcolor="#ffac00">33193</td><td bgcolor="#ff4900">74</td></tr>
    </table>

    <h1>Module <tt>Dynamic</tt></h1>

    <h2>General metrics</h2>
    <table>
      <tr bgcolor="#ff5b00"><td class="wide"><b>N</b></td> <td>41</td></tr>
      <tr bgcolor="#fffe00"><td class="wide"><b>LOC</b></td> <td>301</td></tr>
      <tr bgcolor="#ffff00"><td class="wide"><b>HD</b></td> <td>82</td></tr>
      <tr bgcolor="#ffff00"><td class="wide"><b>HV</b></td> <td>12879</td></tr>
      <tr bgcolor="#fffd00"><td class="wide"><b>HE</b></td> <td>1053115</td></tr>
      <tr bgcolor="#ffff00"><td class="wide"><b>avgCC</b></td> <td>2</td></tr>
      <tr bgcolor="#ffff00"><td class="wide"><b>avgLOC</b></td> <td>7</td></tr>
      <tr bgcolor="#ffff00"><td class="wide"><b>avgHV</b></td> <td>187</td></tr>
      <tr bgcolor="#ffff00"><td class="wide"><b>MI</b></td> <td>112</td></tr>
    </table>

    <h2>Functions and methods</h2>
    <table>
      <tr><td class="wide"><b>name</b></td><td class="wide"><b>line</b></td><td><b>LOC</b></td><td><b>CC</b></td><td><b>HD</b></td><td><b>HV</b></td><td><b>HE</b></td><td><b>MI</b></td></tr>
      <tr><td class="wide">function <tt><b>dynlink_file</b></tt></td><td class="wide">223</td><td bgcolor="#ffc800">37</td><td bgcolor="#ffff00">5</td><td bgcolor="#ffff00">24</td><td bgcolor="#fff500">1195</td><td bgcolor="#ffb900">28096</td><td bgcolor="#ff5000">75</td></tr>
      <tr><td class="wide">function <tt><b>load_script</b></tt></td><td class="wide">287</td><td bgcolor="#ffbf00">40</td><td bgcolor="#ffff00">8</td><td bgcolor="#ffff00">22</td><td bgcolor="#fff600">1158</td><td bgcolor="#ffbf00">25485</td><td bgcolor="#ff4100">73</td></tr>
    </table>

    <h1>Module <tt>File</tt></h1>

    <h2>General metrics</h2>
    <table>
      <tr bgcolor="#ff0000"><td class="wide"><b>N</b></td> <td>75</td></tr>
      <tr bgcolor="#ff0000"><td class="wide"><b>LOC</b></td> <td>1091</td></tr>
      <tr bgcolor="#ff4300"><td class="wide"><b>HD</b></td> <td>174</td></tr>
      <tr bgcolor="#ff0000"><td class="wide"><b>HV</b></td> <td>61178</td></tr>
      <tr bgcolor="#ff0000"><td class="wide"><b>HE</b></td> <td>10620889</td></tr>
      <tr bgcolor="#ffff00"><td class="wide"><b>avgCC</b></td> <td>3</td></tr>
      <tr bgcolor="#ffff00"><td class="wide"><b>avgLOC</b></td> <td>14</td></tr>
      <tr bgcolor="#ffff00"><td class="wide"><b>avgHV</b></td> <td>490</td></tr>
      <tr bgcolor="#ffff00"><td class="wide"><b>MI</b></td> <td>96</td></tr>
    </table>

    <h2>Functions and methods</h2>
    <table>
      <tr><td class="wide"><b>name</b></td><td class="wide"><b>line</b></td><td><b>LOC</b></td><td><b>CC</b></td><td><b>HD</b></td><td><b>HV</b></td><td><b>HE</b></td><td><b>MI</b></td></tr>
      <tr><td class="wide">function <tt><b>cleanup</b></tt></td><td class="wide">942</td><td bgcolor="#ff6f00">65</td><td bgcolor="#ffdc00">11</td><td bgcolor="#ffa000">45</td><td bgcolor="#ffa000">2845</td><td bgcolor="#ff0000">129315</td><td bgcolor="#ff0000">59</td></tr>
      <tr><td class="wide">function <tt><b>files_to_cil</b></tt></td><td class="wide">652</td><td bgcolor="#ff0000">142</td><td bgcolor="#ff3900">25</td><td bgcolor="#ff5200">62</td><td bgcolor="#ff0000">6846</td><td bgcolor="#ff0000">426273</td><td bgcolor="#ff0000">39</td></tr>
      <tr><td class="wide">function <tt><b>init_from_cmdline</b></tt></td><td class="wide">1216</td><td bgcolor="#ffaf00">45</td><td bgcolor="#ffff00">8</td><td bgcolor="#ffff00">25</td><td bgcolor="#ffd400">1830</td><td bgcolor="#ff8c00">45531</td><td bgcolor="#ff1d00">68</td></tr>
      <tr><td class="wide">function <tt><b>parse</b></tt></td><td class="wide">548</td><td bgcolor="#ff4f00">75</td><td bgcolor="#ffd000">12</td><td bgcolor="#ffa200">45</td><td bgcolor="#ff9500">3076</td><td bgcolor="#ff0000">138045</td><td bgcolor="#ff0000">57</td></tr>
      <tr><td class="wide">function <tt><b>prepare_cil_file</b></tt></td><td class="wide">1032</td><td bgcolor="#ffcf00">35</td><td bgcolor="#ffff00">6</td><td bgcolor="#ffff00">23</td><td bgcolor="#ffec00">1356</td><td bgcolor="#ffb200">30720</td><td bgcolor="#ff5000">75</td></tr>
      <tr><td class="wide">function <tt><b>synchronize_source_annot</b></tt></td><td class="wide">814</td><td bgcolor="#ff2f00">85</td><td bgcolor="#ffc500">13</td><td bgcolor="#ff8000">52</td><td bgcolor="#ffa300">2786</td><td bgcolor="#ff0000">145717</td><td bgcolor="#ff0000">55</td></tr>
      <tr><td class="wide">method <tt><b>vfunc</b></tt></td><td class="wide">278</td><td bgcolor="#ffa500">48</td><td bgcolor="#ffff00">8</td><td bgcolor="#ffa400">45</td><td bgcolor="#ffdc00">1679</td><td bgcolor="#ff4000">74886</td><td bgcolor="#ff1800">68</td></tr>
      <tr><td class="wide">method <tt><b>vglob_aux</b></tt></td><td class="wide">443</td><td bgcolor="#ffc200">39</td><td bgcolor="#ffe700">10</td><td bgcolor="#ffe500">30</td><td bgcolor="#ffe800">1448</td><td bgcolor="#ff8f00">44132</td><td bgcolor="#ff3700">72</td></tr>
    </table>

    <h1>Module <tt>Filter</tt></h1>

    <h2>General metrics</h2>
    <table>
      <tr bgcolor="#ff7a00"><td class="wide"><b>N</b></td> <td>38</td></tr>
      <tr bgcolor="#ff9c00"><td class="wide"><b>LOC</b></td> <td>571</td></tr>
      <tr bgcolor="#ff6900"><td class="wide"><b>HD</b></td> <td>159</td></tr>
      <tr bgcolor="#ff6a00"><td class="wide"><b>HV</b></td> <td>35336</td></tr>
      <tr bgcolor="#ff7c00"><td class="wide"><b>HE</b></td> <td>5610188</td></tr>
      <tr bgcolor="#ffff00"><td class="wide"><b>avgCC</b></td> <td>3</td></tr>
      <tr bgcolor="#ffff00"><td class="wide"><b>avgLOC</b></td> <td>14</td></tr>
      <tr bgcolor="#ffff00"><td class="wide"><b>avgHV</b></td> <td>561</td></tr>
      <tr bgcolor="#fffd00"><td class="wide"><b>MI</b></td> <td>95</td></tr>
    </table>

    <h2>Functions and methods</h2>
    <table>
      <tr><td class="wide"><b>name</b></td><td class="wide"><b>line</b></td><td><b>LOC</b></td><td><b>CC</b></td><td><b>HD</b></td><td><b>HV</b></td><td><b>HE</b></td><td><b>MI</b></td></tr>
      <tr><td class="wide">method <tt><b>build_proto</b></tt></td><td class="wide">577</td><td bgcolor="#ffa800">47</td><td bgcolor="#ffff00">7</td><td bgcolor="#fff700">27</td><td bgcolor="#ffc100">2210</td><td bgcolor="#ff6900">58986</td><td bgcolor="#ff1000">67</td></tr>
      <tr><td class="wide">method <tt><b>process_visible_stmt</b></tt></td><td class="wide">402</td><td bgcolor="#ff8500">58</td><td bgcolor="#ffdc00">11</td><td bgcolor="#ffd000">35</td><td bgcolor="#ffb000">2538</td><td bgcolor="#ff1c00">88972</td><td bgcolor="#ff0000">62</td></tr>
    </table>

    <h1>Module <tt>Hptmap</tt></h1>

    <h2>General metrics</h2>
    <table>
      <tr bgcolor="#ff0000"><td class="wide"><b>N</b></td> <td>98</td></tr>
      <tr bgcolor="#ff3200"><td class="wide"><b>LOC</b></td> <td>862</td></tr>
      <tr bgcolor="#ff0000"><td class="wide"><b>HD</b></td> <td>282</td></tr>
      <tr bgcolor="#ff1d00"><td class="wide"><b>HV</b></td> <td>45976</td></tr>
      <tr bgcolor="#ff0000"><td class="wide"><b>HE</b></td> <td>12966291</td></tr>
      <tr bgcolor="#ffff00"><td class="wide"><b>avgCC</b></td> <td>3</td></tr>
      <tr bgcolor="#ffff00"><td class="wide"><b>avgLOC</b></td> <td>8</td></tr>
      <tr bgcolor="#ffff00"><td class="wide"><b>avgHV</b></td> <td>279</td></tr>
      <tr bgcolor="#ffff00"><td class="wide"><b>MI</b></td> <td>107</td></tr>
    </table>

    <h2>Functions and methods</h2>
    <table>
      <tr><td class="wide"><b>name</b></td><td class="wide"><b>line</b></td><td><b>LOC</b></td><td><b>CC</b></td><td><b>HD</b></td><td><b>HV</b></td><td><b>HE</b></td><td><b>MI</b></td></tr>
      <tr><td class="wide">function <tt><b>comp_prefixes</b></tt></td><td class="wide">472</td><td bgcolor="#ffc800">37</td><td bgcolor="#ffb900">14</td><td bgcolor="#ffba00">40</td><td bgcolor="#ffe000">1594</td><td bgcolor="#ff5e00">63403</td><td bgcolor="#ff3200">71</td></tr>
      <tr><td class="wide">function <tt><b>equal</b></tt></td><td class="wide">1043</td><td bgcolor="#ff2300">89</td><td bgcolor="#ffa200">16</td><td bgcolor="#ff4b00">64</td><td bgcolor="#ffa200">2807</td><td bgcolor="#ff0000">178821</td><td bgcolor="#ff0000">53</td></tr>
      <tr><td class="wide">function <tt><b>equal</b></tt></td><td class="wide">884</td><td bgcolor="#ff9f00">50</td><td bgcolor="#ffa200">16</td><td bgcolor="#ff9200">48</td><td bgcolor="#ffb800">2382</td><td bgcolor="#ff0000">115535</td><td bgcolor="#ff0000">64</td></tr>
      <tr><td class="wide">function <tt><b>fine_union</b></tt></td><td class="wide">690</td><td bgcolor="#ffcf00">35</td><td bgcolor="#ffdc00">11</td><td bgcolor="#ff9200">48</td><td bgcolor="#ffe300">1543</td><td bgcolor="#ff4100">74522</td><td bgcolor="#ff4100">73</td></tr>
      <tr><td class="wide">function <tt><b>generic_fine_add</b></tt></td><td class="wide">794</td><td bgcolor="#ffd200">34</td><td bgcolor="#ffc500">13</td><td bgcolor="#ffac00">43</td><td bgcolor="#ffe100">1585</td><td bgcolor="#ff5200">67975</td><td bgcolor="#ff4000">73</td></tr>
      <tr><td class="wide">function <tt><b>sentinel</b></tt></td><td class="wide">958</td><td bgcolor="#ff7500">63</td><td bgcolor="#ff8b00">18</td><td bgcolor="#ff8100">52</td><td bgcolor="#ffa400">2781</td><td bgcolor="#ff0000">144887</td><td bgcolor="#ff0000">59</td></tr>
      <tr><td class="wide">function <tt><b>symetric_merge</b></tt></td><td class="wide">834</td><td bgcolor="#ffcc00">36</td><td bgcolor="#ffe700">10</td><td bgcolor="#ffd400">34</td><td bgcolor="#ffed00">1352</td><td bgcolor="#ff8a00">46252</td><td bgcolor="#ff4500">73</td></tr>
    </table>

    <h1>Module <tt>Infer_annotations</tt></h1>

    <h2>General metrics</h2>
    <table>
      <tr bgcolor="#ffff00"><td class="wide"><b>N</b></td> <td>4</td></tr>
      <tr bgcolor="#ffff00"><td class="wide"><b>LOC</b></td> <td>201</td></tr>
      <tr bgcolor="#ffff00"><td class="wide"><b>HD</b></td> <td>64</td></tr>
      <tr bgcolor="#ffff00"><td class="wide"><b>HV</b></td> <td>7553</td></tr>
      <tr bgcolor="#ffff00"><td class="wide"><b>HE</b></td> <td>485108</td></tr>
      <tr bgcolor="#ffb100"><td class="wide"><b>avgCC</b></td> <td>9</td></tr>
      <tr bgcolor="#ff7a00"><td class="wide"><b>avgLOC</b></td> <td>49</td></tr>
      <tr bgcolor="#ffec00"><td class="wide"><b>avgHV</b></td> <td>1638</td></tr>
      <tr bgcolor="#ff1500"><td class="wide"><b>MI</b></td> <td>68</td></tr>
    </table>

    <h2>Functions and methods</h2>
    <table>
      <tr><td class="wide"><b>name</b></td><td class="wide"><b>line</b></td><td><b>LOC</b></td><td><b>CC</b></td><td><b>HD</b></td><td><b>HV</b></td><td><b>HE</b></td><td><b>MI</b></td></tr>
      <tr><td class="wide">function <tt><b>assigns_from_prototype</b></tt></td><td class="wide">31</td><td bgcolor="#ff4600">78</td><td bgcolor="#ffe700">10</td><td bgcolor="#ffd700">33</td><td bgcolor="#ff9800">3003</td><td bgcolor="#ff0000">100411</td><td bgcolor="#ff0000">56</td></tr>
      <tr><td class="wide">function <tt><b>populate_funspec</b></tt></td><td class="wide">121</td><td bgcolor="#ff0000">113</td><td bgcolor="#ff5100">23</td><td bgcolor="#ff6500">58</td><td bgcolor="#ff8200">3451</td><td bgcolor="#ff0000">200807</td><td bgcolor="#ff0000">47</td></tr>
    </table>

    <h1>Module <tt>Int_Interv_Map</tt></h1>

    <h2>General metrics</h2>
    <table>
      <tr bgcolor="#ffff00"><td class="wide"><b>N</b></td> <td>12</td></tr>
      <tr bgcolor="#ffff00"><td class="wide"><b>LOC</b></td> <td>136</td></tr>
      <tr bgcolor="#ffff00"><td class="wide"><b>HD</b></td> <td>78</td></tr>
      <tr bgcolor="#ffff00"><td class="wide"><b>HV</b></td> <td>5857</td></tr>
      <tr bgcolor="#ffff00"><td class="wide"><b>HE</b></td> <td>458514</td></tr>
      <tr bgcolor="#ffff00"><td class="wide"><b>avgCC</b></td> <td>3</td></tr>
      <tr bgcolor="#ffff00"><td class="wide"><b>avgLOC</b></td> <td>11</td></tr>
      <tr bgcolor="#ffff00"><td class="wide"><b>avgHV</b></td> <td>358</td></tr>
      <tr bgcolor="#ffff00"><td class="wide"><b>MI</b></td> <td>101</td></tr>
    </table>

    <h2>Functions and methods</h2>
    <table>
      <tr><td class="wide"><b>name</b></td><td class="wide"><b>line</b></td><td><b>LOC</b></td><td><b>CC</b></td><td><b>HD</b></td><td><b>HV</b></td><td><b>HE</b></td><td><b>MI</b></td></tr>
      <tr><td class="wide">function <tt><b>cleanup_overwritten_bindings</b></tt></td><td class="wide">103</td><td bgcolor="#ff8900">57</td><td bgcolor="#ffff00">6</td><td bgcolor="#ffa600">44</td><td bgcolor="#ffd100">1888</td><td bgcolor="#ff2b00">83304</td><td bgcolor="#ff0000">65</td></tr>
    </table>

    <h1>Module <tt>Ival</tt></h1>

    <h2>General metrics</h2>
    <table>
      <tr bgcolor="#ff0000"><td class="wide"><b>N</b></td> <td>268</td></tr>
      <tr bgcolor="#ff0000"><td class="wide"><b>LOC</b></td> <td>1908</td></tr>
      <tr bgcolor="#ff0000"><td class="wide"><b>HD</b></td> <td>352</td></tr>
      <tr bgcolor="#ff0000"><td class="wide"><b>HV</b></td> <td>121082</td></tr>
      <tr bgcolor="#ff0000"><td class="wide"><b>HE</b></td> <td>42642588</td></tr>
      <tr bgcolor="#ffff00"><td class="wide"><b>avgCC</b></td> <td>2</td></tr>
      <tr bgcolor="#ffff00"><td class="wide"><b>avgLOC</b></td> <td>7</td></tr>
      <tr bgcolor="#ffff00"><td class="wide"><b>avgHV</b></td> <td>239</td></tr>
      <tr bgcolor="#ffff00"><td class="wide"><b>MI</b></td> <td>111</td></tr>
    </table>

    <h2>Functions and methods</h2>
    <table>
      <tr><td class="wide"><b>name</b></td><td class="wide"><b>line</b></td><td><b>LOC</b></td><td><b>CC</b></td><td><b>HD</b></td><td><b>HV</b></td><td><b>HE</b></td><td><b>MI</b></td></tr>
      <tr><td class="wide">function <tt><b>add</b></tt></td><td class="wide">1356</td><td bgcolor="#ffcf00">35</td><td bgcolor="#fff300">9</td><td bgcolor="#ffff00">25</td><td bgcolor="#ffdc00">1679</td><td bgcolor="#ff9500">41909</td><td bgcolor="#ff4100">73</td></tr>
      <tr><td class="wide">function <tt><b>bitwise_and</b></tt></td><td class="wide">2197</td><td bgcolor="#ff0000">105</td><td bgcolor="#ff9600">17</td><td bgcolor="#ff9c00">46</td><td bgcolor="#ff7700">3658</td><td bgcolor="#ff0000">169029</td><td bgcolor="#ff0000">49</td></tr>
      <tr><td class="wide">function <tt><b>cast</b></tt></td><td class="wide">1820</td><td bgcolor="#ff9c00">51</td><td bgcolor="#fff300">9</td><td bgcolor="#ffeb00">29</td><td bgcolor="#ffc300">2161</td><td bgcolor="#ff5f00">63031</td><td bgcolor="#ff0200">65</td></tr>
      <tr><td class="wide">function <tt><b>join</b></tt></td><td class="wide">1197</td><td bgcolor="#ffb800">42</td><td bgcolor="#ffff00">8</td><td bgcolor="#fffb00">26</td><td bgcolor="#ffc100">2200</td><td bgcolor="#ff6f00">56710</td><td bgcolor="#ff1e00">69</td></tr>
      <tr><td class="wide">function <tt><b>meet</b></tt></td><td class="wide">1146</td><td bgcolor="#ffcf00">35</td><td bgcolor="#ffff00">8</td><td bgcolor="#ffff00">24</td><td bgcolor="#fff000">1286</td><td bgcolor="#ffb000">31409</td><td bgcolor="#ff4f00">74</td></tr>
      <tr><td class="wide">function <tt><b>mul</b></tt></td><td class="wide">1888</td><td bgcolor="#ffcc00">36</td><td bgcolor="#ffff00">7</td><td bgcolor="#fff900">26</td><td bgcolor="#ffd000">1919</td><td bgcolor="#ff7f00">50437</td><td bgcolor="#ff3b00">72</td></tr>
      <tr><td class="wide">function <tt><b>pretty_normal</b></tt></td><td class="wide">182</td><td bgcolor="#ff8c00">56</td><td bgcolor="#ffff00">8</td><td bgcolor="#fff800">26</td><td bgcolor="#ffd300">1857</td><td bgcolor="#ff8300">48892</td><td bgcolor="#ff0000">65</td></tr>
      <tr><td class="wide">function <tt><b>scale_rem</b></tt></td><td class="wide">1720</td><td bgcolor="#ffb500">43</td><td bgcolor="#ffe700">10</td><td bgcolor="#ffe500">31</td><td bgcolor="#ffd100">1883</td><td bgcolor="#ff6d00">57615</td><td bgcolor="#ff1e00">69</td></tr>
      <tr><td class="wide">function <tt><b>widen</b></tt></td><td class="wide">1038</td><td bgcolor="#ffcf00">35</td><td bgcolor="#ffdc00">11</td><td bgcolor="#ffff00">25</td><td bgcolor="#ffe300">1547</td><td bgcolor="#ff9e00">38433</td><td bgcolor="#ff4100">73</td></tr>
    </table>

    <h1>Module <tt>Journal</tt></h1>

    <h2>General metrics</h2>
    <table>
      <tr bgcolor="#ff5b00"><td class="wide"><b>N</b></td> <td>41</td></tr>
      <tr bgcolor="#fffc00"><td class="wide"><b>LOC</b></td> <td>306</td></tr>
      <tr bgcolor="#ffb100"><td class="wide"><b>HD</b></td> <td>130</td></tr>
      <tr bgcolor="#ffff00"><td class="wide"><b>HV</b></td> <td>14354</td></tr>
      <tr bgcolor="#ffe600"><td class="wide"><b>HE</b></td> <td>1870588</td></tr>
      <tr bgcolor="#ffff00"><td class="wide"><b>avgCC</b></td> <td>2</td></tr>
      <tr bgcolor="#ffff00"><td class="wide"><b>avgLOC</b></td> <td>7</td></tr>
      <tr bgcolor="#ffff00"><td class="wide"><b>avgHV</b></td> <td>206</td></tr>
      <tr bgcolor="#ffff00"><td class="wide"><b>MI</b></td> <td>111</td></tr>
    </table>

    <h2>Functions and methods</h2>
    <table>
      <tr><td class="wide"><b>name</b></td><td class="wide"><b>line</b></td><td><b>LOC</b></td><td><b>CC</b></td><td><b>HD</b></td><td><b>HV</b></td><td><b>HE</b></td><td><b>MI</b></td></tr>
      <tr><td class="wide">function <tt><b>journalize_function</b></tt></td><td class="wide">358</td><td bgcolor="#ffcc00">36</td><td bgcolor="#ffff00">7</td><td bgcolor="#ffb000">42</td><td bgcolor="#ffe800">1438</td><td bgcolor="#ff6600">60382</td><td bgcolor="#ff4800">74</td></tr>
    </table>

    <h1>Module <tt>Lmap</tt></h1>

    <h2>General metrics</h2>
    <table>
      <tr bgcolor="#ff0000"><td class="wide"><b>N</b></td> <td>66</td></tr>
      <tr bgcolor="#ff0000"><td class="wide"><b>LOC</b></td> <td>1002</td></tr>
      <tr bgcolor="#ff0400"><td class="wide"><b>HD</b></td> <td>198</td></tr>
      <tr bgcolor="#ff2400"><td class="wide"><b>HV</b></td> <td>44965</td></tr>
      <tr bgcolor="#ff1e00"><td class="wide"><b>HE</b></td> <td>8907006</td></tr>
      <tr bgcolor="#ffff00"><td class="wide"><b>avgCC</b></td> <td>3</td></tr>
      <tr bgcolor="#ffff00"><td class="wide"><b>avgLOC</b></td> <td>14</td></tr>
      <tr bgcolor="#ffff00"><td class="wide"><b>avgHV</b></td> <td>361</td></tr>
      <tr bgcolor="#ffff00"><td class="wide"><b>MI</b></td> <td>98</td></tr>
    </table>

    <h2>Functions and methods</h2>
    <table>
      <tr><td class="wide"><b>name</b></td><td class="wide"><b>line</b></td><td><b>LOC</b></td><td><b>CC</b></td><td><b>HD</b></td><td><b>HV</b></td><td><b>HE</b></td><td><b>MI</b></td></tr>
      <tr><td class="wide">function <tt><b>add_binding</b></tt></td><td class="wide">485</td><td bgcolor="#ff5c00">71</td><td bgcolor="#ffe700">10</td><td bgcolor="#ffd600">34</td><td bgcolor="#ffc600">2109</td><td bgcolor="#ff4a00">70948</td><td bgcolor="#ff0000">60</td></tr>
      <tr><td class="wide">function <tt><b>compute_actual_final_from_generic</b></tt></td><td class="wide">1180</td><td bgcolor="#ff3c00">81</td><td bgcolor="#ffff00">8</td><td bgcolor="#ffff00">24</td><td bgcolor="#ffdc00">1678</td><td bgcolor="#ff9700">41116</td><td bgcolor="#ff0000">59</td></tr>
      <tr><td class="wide">function <tt><b>copy_offsetmap</b></tt></td><td class="wide">1046</td><td bgcolor="#ff9c00">51</td><td bgcolor="#ffff00">6</td><td bgcolor="#ffff00">20</td><td bgcolor="#fff600">1173</td><td bgcolor="#ffc500">23217</td><td bgcolor="#ff2300">69</td></tr>
      <tr><td class="wide">function <tt><b>find</b></tt></td><td class="wide">565</td><td bgcolor="#ff4f00">75</td><td bgcolor="#ffdc00">11</td><td bgcolor="#ffd000">35</td><td bgcolor="#ffcd00">1962</td><td bgcolor="#ff5000">68702</td><td bgcolor="#ff0000">59</td></tr>
      <tr><td class="wide">function <tt><b>is_included_actual_generic</b></tt></td><td class="wide">833</td><td bgcolor="#ff8c00">56</td><td bgcolor="#ffff00">7</td><td bgcolor="#ffe500">30</td><td bgcolor="#ffe700">1468</td><td bgcolor="#ff8e00">44787</td><td bgcolor="#ff0a00">66</td></tr>
      <tr><td class="wide">function <tt><b>paste_offsetmap</b></tt></td><td class="wide">992</td><td bgcolor="#ff9500">53</td><td bgcolor="#ffff00">8</td><td bgcolor="#fff200">28</td><td bgcolor="#ffd500">1817</td><td bgcolor="#ff7f00">50493</td><td bgcolor="#ff0600">66</td></tr>
      <tr><td class="wide">function <tt><b>remove_whole</b></tt></td><td class="wide">409</td><td bgcolor="#ffc500">38</td><td bgcolor="#ffff00">5</td><td bgcolor="#ffff00">19</td><td bgcolor="#fffa00">1093</td><td bgcolor="#ffcd00">20397</td><td bgcolor="#ff5100">75</td></tr>
      <tr><td class="wide">function <tt><b>widen</b></tt></td><td class="wide">936</td><td bgcolor="#ffb500">43</td><td bgcolor="#ffff00">6</td><td bgcolor="#fff900">26</td><td bgcolor="#fff000">1283</td><td bgcolor="#ffaa00">33717</td><td bgcolor="#ff3600">71</td></tr>
    </table>

    <h1>Module <tt>Lmap_bitwise</tt></h1>

    <h2>General metrics</h2>
    <table>
      <tr bgcolor="#ff7a00"><td class="wide"><b>N</b></td> <td>38</td></tr>
      <tr bgcolor="#ffb200"><td class="wide"><b>LOC</b></td> <td>510</td></tr>
      <tr bgcolor="#ff9700"><td class="wide"><b>HD</b></td> <td>141</td></tr>
      <tr bgcolor="#ffc600"><td class="wide"><b>HV</b></td> <td>22739</td></tr>
      <tr bgcolor="#ffc000"><td class="wide"><b>HE</b></td> <td>3194918</td></tr>
      <tr bgcolor="#ffff00"><td class="wide"><b>avgCC</b></td> <td>3</td></tr>
      <tr bgcolor="#ffff00"><td class="wide"><b>avgLOC</b></td> <td>12</td></tr>
      <tr bgcolor="#ffff00"><td class="wide"><b>avgHV</b></td> <td>330</td></tr>
      <tr bgcolor="#ffff00"><td class="wide"><b>MI</b></td> <td>100</td></tr>
    </table>

    <h2>Functions and methods</h2>
    <table>
      <tr><td class="wide"><b>name</b></td><td class="wide"><b>line</b></td><td><b>LOC</b></td><td><b>CC</b></td><td><b>HD</b></td><td><b>HV</b></td><td><b>HE</b></td><td><b>MI</b></td></tr>
      <tr><td class="wide">function <tt><b>copy_offsetmap</b></tt></td><td class="wide">451</td><td bgcolor="#ff8500">58</td><td bgcolor="#ffff00">8</td><td bgcolor="#fffb00">26</td><td bgcolor="#ffd900">1743</td><td bgcolor="#ff8e00">44857</td><td bgcolor="#ff0000">65</td></tr>
      <tr><td class="wide">function <tt><b>paste_offsetmap</b></tt></td><td class="wide">527</td><td bgcolor="#ff9900">52</td><td bgcolor="#ffff00">7</td><td bgcolor="#ffee00">29</td><td bgcolor="#ffd800">1748</td><td bgcolor="#ff8000">50028</td><td bgcolor="#ff0d00">67</td></tr>
    </table>

    <h1>Module <tt>Lmap_whole</tt></h1>

    <h2>General metrics</h2>
    <table>
      <tr bgcolor="#ff6600"><td class="wide"><b>N</b></td> <td>40</td></tr>
      <tr bgcolor="#ff4a00"><td class="wide"><b>LOC</b></td> <td>795</td></tr>
      <tr bgcolor="#ff6d00"><td class="wide"><b>HD</b></td> <td>157</td></tr>
      <tr bgcolor="#ff8400"><td class="wide"><b>HV</b></td> <td>31801</td></tr>
      <tr bgcolor="#ff8d00"><td class="wide"><b>HE</b></td> <td>4989276</td></tr>
      <tr bgcolor="#ffff00"><td class="wide"><b>avgCC</b></td> <td>4</td></tr>
      <tr bgcolor="#ffee00"><td class="wide"><b>avgLOC</b></td> <td>19</td></tr>
      <tr bgcolor="#ffff00"><td class="wide"><b>avgHV</b></td> <td>517</td></tr>
      <tr bgcolor="#ffd200"><td class="wide"><b>MI</b></td> <td>90</td></tr>
    </table>

    <h2>Functions and methods</h2>
    <table>
      <tr><td class="wide"><b>name</b></td><td class="wide"><b>line</b></td><td><b>LOC</b></td><td><b>CC</b></td><td><b>HD</b></td><td><b>HV</b></td><td><b>HE</b></td><td><b>MI</b></td></tr>
      <tr><td class="wide">function <tt><b>add_binding</b></tt></td><td class="wide">253</td><td bgcolor="#ff6900">67</td><td bgcolor="#ffe700">10</td><td bgcolor="#ffdf00">32</td><td bgcolor="#ffc800">2063</td><td bgcolor="#ff5800">65529</td><td bgcolor="#ff0000">61</td></tr>
      <tr><td class="wide">function <tt><b>compute_actual_final_from_generic</b></tt></td><td class="wide">867</td><td bgcolor="#ff7c00">61</td><td bgcolor="#ffff00">7</td><td bgcolor="#ffff00">22</td><td bgcolor="#fff300">1232</td><td bgcolor="#ffba00">27720</td><td bgcolor="#ff0600">66</td></tr>
      <tr><td class="wide">function <tt><b>copy_offsetmap</b></tt></td><td class="wide">727</td><td bgcolor="#ff8500">58</td><td bgcolor="#ffff00">8</td><td bgcolor="#ffff00">24</td><td bgcolor="#ffde00">1639</td><td bgcolor="#ff9b00">39759</td><td bgcolor="#ff0000">65</td></tr>
      <tr><td class="wide">function <tt><b>find</b></tt></td><td class="wide">332</td><td bgcolor="#ff6600">68</td><td bgcolor="#fff300">9</td><td bgcolor="#ffce00">35</td><td bgcolor="#ffdd00">1660</td><td bgcolor="#ff6a00">58708</td><td bgcolor="#ff0000">62</td></tr>
      <tr><td class="wide">function <tt><b>is_included_actual_generic</b></tt></td><td class="wide">523</td><td bgcolor="#ff9200">54</td><td bgcolor="#ffff00">6</td><td bgcolor="#fff900">26</td><td bgcolor="#ffed00">1342</td><td bgcolor="#ffa700">35068</td><td bgcolor="#ff1500">68</td></tr>
      <tr><td class="wide">function <tt><b>paste_offsetmap</b></tt></td><td class="wide">676</td><td bgcolor="#ff9f00">50</td><td bgcolor="#ffff00">7</td><td bgcolor="#fff700">27</td><td bgcolor="#ffd700">1774</td><td bgcolor="#ff8800">47123</td><td bgcolor="#ff1100">67</td></tr>
      <tr><td class="wide">function <tt><b>widen</b></tt></td><td class="wide">623</td><td bgcolor="#ffbf00">40</td><td bgcolor="#ffff00">6</td><td bgcolor="#fffa00">26</td><td bgcolor="#fff400">1214</td><td bgcolor="#ffb000">31571</td><td bgcolor="#ff4300">73</td></tr>
    </table>

    <h1>Module <tt>Locations</tt></h1>

    <h2>General metrics</h2>
    <table>
      <tr bgcolor="#ff0000"><td class="wide"><b>N</b></td> <td>64</td></tr>
      <tr bgcolor="#ffa400"><td class="wide"><b>LOC</b></td> <td>549</td></tr>
      <tr bgcolor="#ffd800"><td class="wide"><b>HD</b></td> <td>115</td></tr>
      <tr bgcolor="#ffac00"><td class="wide"><b>HV</b></td> <td>26305</td></tr>
      <tr bgcolor="#ffc500"><td class="wide"><b>HE</b></td> <td>3032738</td></tr>
      <tr bgcolor="#ffff00"><td class="wide"><b>avgCC</b></td> <td>2</td></tr>
      <tr bgcolor="#ffff00"><td class="wide"><b>avgLOC</b></td> <td>8</td></tr>
      <tr bgcolor="#ffff00"><td class="wide"><b>avgHV</b></td> <td>245</td></tr>
      <tr bgcolor="#ffff00"><td class="wide"><b>MI</b></td> <td>108</td></tr>
    </table>

    <h2>Functions and methods</h2>
    <table>
      <tr><td class="wide"><b>name</b></td><td class="wide"><b>line</b></td><td><b>LOC</b></td><td><b>CC</b></td><td><b>HD</b></td><td><b>HV</b></td><td><b>HE</b></td><td><b>MI</b></td></tr>
      <tr><td class="wide">function <tt><b>is_included_actual_generic</b></tt></td><td class="wide">124</td><td bgcolor="#ffc500">38</td><td bgcolor="#ffd000">12</td><td bgcolor="#fffa00">26</td><td bgcolor="#fff400">1205</td><td bgcolor="#ffb100">31271</td><td bgcolor="#ff3f00">72</td></tr>
      <tr><td class="wide">function <tt><b>valid_cardinal_zero_or_one</b></tt></td><td class="wide">436</td><td bgcolor="#ffb500">43</td><td bgcolor="#fff300">9</td><td bgcolor="#ffef00">28</td><td bgcolor="#ffee00">1314</td><td bgcolor="#ffa100">37191</td><td bgcolor="#ff3000">71</td></tr>
      <tr><td class="wide">function <tt><b>valid_enumerate_bits</b></tt></td><td class="wide">574</td><td bgcolor="#ff9c00">51</td><td bgcolor="#ffff00">6</td><td bgcolor="#ffc400">38</td><td bgcolor="#ffbe00">2266</td><td bgcolor="#ff2600">85100</td><td bgcolor="#ff0600">66</td></tr>
    </table>

    <h1>Module <tt>Logic_interp</tt></h1>

    <h2>General metrics</h2>
    <table>
      <tr bgcolor="#ff0000"><td class="wide"><b>N</b></td> <td>126</td></tr>
      <tr bgcolor="#ff0000"><td class="wide"><b>LOC</b></td> <td>1279</td></tr>
      <tr bgcolor="#ff0000"><td class="wide"><b>HD</b></td> <td>219</td></tr>
      <tr bgcolor="#ff0000"><td class="wide"><b>HV</b></td> <td>87904</td></tr>
      <tr bgcolor="#ff0000"><td class="wide"><b>HE</b></td> <td>19228011</td></tr>
      <tr bgcolor="#ffff00"><td class="wide"><b>avgCC</b></td> <td>2</td></tr>
      <tr bgcolor="#ffff00"><td class="wide"><b>avgLOC</b></td> <td>9</td></tr>
      <tr bgcolor="#ffff00"><td class="wide"><b>avgHV</b></td> <td>372</td></tr>
      <tr bgcolor="#ffff00"><td class="wide"><b>MI</b></td> <td>104</td></tr>
    </table>

    <h2>Functions and methods</h2>
    <table>
      <tr><td class="wide"><b>name</b></td><td class="wide"><b>line</b></td><td><b>LOC</b></td><td><b>CC</b></td><td><b>HD</b></td><td><b>HV</b></td><td><b>HE</b></td><td><b>MI</b></td></tr>
      <tr><td class="wide">function <tt><b>()</b></tt></td><td class="wide">1549</td><td bgcolor="#ffc500">38</td><td bgcolor="#ffff00">1</td><td bgcolor="#ffff00">10</td><td bgcolor="#ffd100">1895</td><td bgcolor="#ffce00">19754</td><td bgcolor="#ff4000">73</td></tr>
      <tr><td class="wide">function <tt><b>force_term_to_exp</b></tt></td><td class="wide">206</td><td bgcolor="#ffc800">37</td><td bgcolor="#ffff00">4</td><td bgcolor="#ffff00">15</td><td bgcolor="#ffc100">2205</td><td bgcolor="#ffab00">33381</td><td bgcolor="#ff3700">72</td></tr>
      <tr><td class="wide">function <tt><b>get_zone_from_annot</b></tt></td><td class="wide">1372</td><td bgcolor="#ff7500">63</td><td bgcolor="#ffff00">7</td><td bgcolor="#ffd100">35</td><td bgcolor="#ff9700">3022</td><td bgcolor="#ff0000">105229</td><td bgcolor="#ff0000">61</td></tr>
      <tr><td class="wide">function <tt><b>loc_to_exp</b></tt></td><td class="wide">753</td><td bgcolor="#ffa800">47</td><td bgcolor="#ffe700">10</td><td bgcolor="#fff700">27</td><td bgcolor="#ff9200">3129</td><td bgcolor="#ff2b00">83023</td><td bgcolor="#ff0000">64</td></tr>
      <tr><td class="wide">function <tt><b>loc_to_loc</b></tt></td><td class="wide">819</td><td bgcolor="#ff6900">67</td><td bgcolor="#ffff00">5</td><td bgcolor="#fff000">28</td><td bgcolor="#ffc800">2076</td><td bgcolor="#ff6b00">58204</td><td bgcolor="#ff0000">62</td></tr>
      <tr><td class="wide">method <tt><b>vterm</b></tt></td><td class="wide">549</td><td bgcolor="#ff0000">116</td><td bgcolor="#ffc500">13</td><td bgcolor="#ff0100">80</td><td bgcolor="#ff1900">5491</td><td bgcolor="#ff0000">437572</td><td bgcolor="#ff0000">46</td></tr>
    </table>

    <h1>Module <tt>Map_Lattice</tt></h1>

    <h2>General metrics</h2>
    <table>
      <tr bgcolor="#ff0000"><td class="wide"><b>N</b></td> <td>64</td></tr>
      <tr bgcolor="#ffaf00"><td class="wide"><b>LOC</b></td> <td>519</td></tr>
      <tr bgcolor="#ff0000"><td class="wide"><b>HD</b></td> <td>200</td></tr>
      <tr bgcolor="#ffaf00"><td class="wide"><b>HV</b></td> <td>25912</td></tr>
      <tr bgcolor="#ff8800"><td class="wide"><b>HE</b></td> <td>5184248</td></tr>
      <tr bgcolor="#ffff00"><td class="wide"><b>avgCC</b></td> <td>3</td></tr>
      <tr bgcolor="#ffff00"><td class="wide"><b>avgLOC</b></td> <td>8</td></tr>
      <tr bgcolor="#ffff00"><td class="wide"><b>avgHV</b></td> <td>245</td></tr>
      <tr bgcolor="#ffff00"><td class="wide"><b>MI</b></td> <td>109</td></tr>
    </table>

    <h2>Functions and methods</h2>
    <table>
      <tr><td class="wide"><b>name</b></td><td class="wide"><b>line</b></td><td><b>LOC</b></td><td><b>CC</b></td><td><b>HD</b></td><td><b>HV</b></td><td><b>HE</b></td><td><b>MI</b></td></tr>
      <tr><td class="wide">function <tt><b>join</b></tt></td><td class="wide">169</td><td bgcolor="#ffb500">43</td><td bgcolor="#ffff00">6</td><td bgcolor="#ffa300">45</td><td bgcolor="#ffd200">1865</td><td bgcolor="#ff2a00">83364</td><td bgcolor="#ff2600">70</td></tr>
    </table>

    <h1>Module <tt>New_offsetmap</tt></h1>

    <h2>General metrics</h2>
    <table>
      <tr bgcolor="#ff0000"><td class="wide"><b>N</b></td> <td>118</td></tr>
      <tr bgcolor="#ff0000"><td class="wide"><b>LOC</b></td> <td>1416</td></tr>
      <tr bgcolor="#ff0000"><td class="wide"><b>HD</b></td> <td>285</td></tr>
      <tr bgcolor="#ff0000"><td class="wide"><b>HV</b></td> <td>86646</td></tr>
      <tr bgcolor="#ff0000"><td class="wide"><b>HE</b></td> <td>24681661</td></tr>
      <tr bgcolor="#ffff00"><td class="wide"><b>avgCC</b></td> <td>2</td></tr>
      <tr bgcolor="#ffff00"><td class="wide"><b>avgLOC</b></td> <td>12</td></tr>
      <tr bgcolor="#ffff00"><td class="wide"><b>avgHV</b></td> <td>440</td></tr>
      <tr bgcolor="#ffff00"><td class="wide"><b>MI</b></td> <td>99</td></tr>
    </table>

    <h2>Functions and methods</h2>
    <table>
      <tr><td class="wide"><b>name</b></td><td class="wide"><b>line</b></td><td><b>LOC</b></td><td><b>CC</b></td><td><b>HD</b></td><td><b>HV</b></td><td><b>HE</b></td><td><b>MI</b></td></tr>
      <tr><td class="wide">function <tt><b>add_node</b></tt></td><td class="wide">603</td><td bgcolor="#ffa800">47</td><td bgcolor="#ffff00">6</td><td bgcolor="#ffb700">41</td><td bgcolor="#ffe200">1553</td><td bgcolor="#ff5f00">62917</td><td bgcolor="#ff2200">69</td></tr>
      <tr><td class="wide">function <tt><b>extract_bits_and_stitch</b></tt></td><td class="wide">1322</td><td bgcolor="#ff8c00">56</td><td bgcolor="#ffff00">5</td><td bgcolor="#ffaa00">43</td><td bgcolor="#ffb200">2507</td><td bgcolor="#ff0000">108326</td><td bgcolor="#ff0000">64</td></tr>
      <tr><td class="wide">function <tt><b>find</b></tt></td><td class="wide">1395</td><td bgcolor="#ff9f00">50</td><td bgcolor="#ffff00">6</td><td bgcolor="#ffb300">41</td><td bgcolor="#ffcd00">1979</td><td bgcolor="#ff2f00">81575</td><td bgcolor="#ff0f00">67</td></tr>
      <tr><td class="wide">function <tt><b>find_ival</b></tt></td><td class="wide">1452</td><td bgcolor="#ff9f00">50</td><td bgcolor="#ffff00">8</td><td bgcolor="#ffd100">35</td><td bgcolor="#ffc000">2216</td><td bgcolor="#ff3a00">77305</td><td bgcolor="#ff0600">66</td></tr>
      <tr><td class="wide">function <tt><b>is_included_generic_exn</b></tt></td><td class="wide">842</td><td bgcolor="#ff0000">118</td><td bgcolor="#ffa200">16</td><td bgcolor="#ff0200">79</td><td bgcolor="#ff6500">4001</td><td bgcolor="#ff0000">317785</td><td bgcolor="#ff0000">47</td></tr>
      <tr><td class="wide">function <tt><b>make_node</b></tt></td><td class="wide">535</td><td bgcolor="#ff8c00">56</td><td bgcolor="#ffff00">8</td><td bgcolor="#ffb700">40</td><td bgcolor="#ffa300">2803</td><td bgcolor="#ff0000">113091</td><td bgcolor="#ff0000">63</td></tr>
      <tr><td class="wide">function <tt><b>merge</b></tt></td><td class="wide">1025</td><td bgcolor="#ff1f00">90</td><td bgcolor="#ffdc00">11</td><td bgcolor="#ff2f00">70</td><td bgcolor="#ff6700">3969</td><td bgcolor="#ff0000">276486</td><td bgcolor="#ff0000">52</td></tr>
      <tr><td class="wide">function <tt><b>nc_is</b></tt></td><td class="wide">709</td><td bgcolor="#ff0000">128</td><td bgcolor="#ffad00">15</td><td bgcolor="#ff0600">79</td><td bgcolor="#ff6200">4067</td><td bgcolor="#ff0000">319667</td><td bgcolor="#ff0000">46</td></tr>
      <tr><td class="wide">function <tt><b>reduce_ival_by_bound</b></tt></td><td class="wide">1171</td><td bgcolor="#ffa800">47</td><td bgcolor="#ffe700">10</td><td bgcolor="#fff100">28</td><td bgcolor="#ffd700">1781</td><td bgcolor="#ff8100">49914</td><td bgcolor="#ff1400">67</td></tr>
      <tr><td class="wide">function <tt><b>update_imprecise</b></tt></td><td class="wide">1580</td><td bgcolor="#ff9500">53</td><td bgcolor="#ffff00">7</td><td bgcolor="#ffd200">35</td><td bgcolor="#ffb900">2365</td><td bgcolor="#ff2e00">81863</td><td bgcolor="#ff0000">65</td></tr>
      <tr><td class="wide">function <tt><b>update_ival</b></tt></td><td class="wide">1668</td><td bgcolor="#ff3f00">80</td><td bgcolor="#ffd000">12</td><td bgcolor="#ff3a00">67</td><td bgcolor="#ff6f00">3810</td><td bgcolor="#ff0000">256900</td><td bgcolor="#ff0000">54</td></tr>
    </table>

    <h1>Module <tt>Offsetmap</tt></h1>

    <h2>General metrics</h2>
    <table>
      <tr bgcolor="#ff0000"><td class="wide"><b>N</b></td> <td>148</td></tr>
      <tr bgcolor="#ff0000"><td class="wide"><b>LOC</b></td> <td>1566</td></tr>
      <tr bgcolor="#ff0000"><td class="wide"><b>HD</b></td> <td>287</td></tr>
      <tr bgcolor="#ff0000"><td class="wide"><b>HV</b></td> <td>95397</td></tr>
      <tr bgcolor="#ff0000"><td class="wide"><b>HE</b></td> <td>27360383</td></tr>
      <tr bgcolor="#ffff00"><td class="wide"><b>avgCC</b></td> <td>2</td></tr>
      <tr bgcolor="#ffff00"><td class="wide"><b>avgLOC</b></td> <td>10</td></tr>
      <tr bgcolor="#ffff00"><td class="wide"><b>avgHV</b></td> <td>350</td></tr>
      <tr bgcolor="#ffff00"><td class="wide"><b>MI</b></td> <td>103</td></tr>
    </table>

    <h2>Functions and methods</h2>
    <table>
      <tr><td class="wide"><b>name</b></td><td class="wide"><b>line</b></td><td><b>LOC</b></td><td><b>CC</b></td><td><b>HD</b></td><td><b>HV</b></td><td><b>HE</b></td><td><b>MI</b></td></tr>
      <tr><td class="wide">function <tt><b>add_approximate_including_spaces</b></tt></td><td class="wide">1108</td><td bgcolor="#ff7c00">61</td><td bgcolor="#ffff00">7</td><td bgcolor="#ffd500">34</td><td bgcolor="#ffce00">1944</td><td bgcolor="#ff5700">65847</td><td bgcolor="#ff0000">63</td></tr>
      <tr><td class="wide">function <tt><b>copy_ival</b></tt></td><td class="wide">1631</td><td bgcolor="#ffa200">49</td><td bgcolor="#ffff00">7</td><td bgcolor="#ffe000">32</td><td bgcolor="#ffd300">1846</td><td bgcolor="#ff6b00">58454</td><td bgcolor="#ff1300">67</td></tr>
      <tr><td class="wide">function <tt><b>extract_bits_and_stitch</b></tt></td><td class="wide">371</td><td bgcolor="#ff5f00">70</td><td bgcolor="#ffff00">8</td><td bgcolor="#ffb800">40</td><td bgcolor="#ffa400">2770</td><td bgcolor="#ff0000">111504</td><td bgcolor="#ff0000">59</td></tr>
      <tr><td class="wide">function <tt><b>find</b></tt></td><td class="wide">452</td><td bgcolor="#ffac00">46</td><td bgcolor="#ffff00">6</td><td bgcolor="#ffc300">38</td><td bgcolor="#ffe100">1572</td><td bgcolor="#ff6800">59495</td><td bgcolor="#ff2400">69</td></tr>
      <tr><td class="wide">function <tt><b>find_ival</b></tt></td><td class="wide">1356</td><td bgcolor="#ff9200">54</td><td bgcolor="#ffe700">10</td><td bgcolor="#ffde00">32</td><td bgcolor="#ffca00">2035</td><td bgcolor="#ff5a00">65038</td><td bgcolor="#ff0000">64</td></tr>
      <tr><td class="wide">function <tt><b>is_included_exn_generic</b></tt></td><td class="wide">745</td><td bgcolor="#ffd500">33</td><td bgcolor="#ffe700">10</td><td bgcolor="#ffe500">31</td><td bgcolor="#ffe900">1417</td><td bgcolor="#ff9200">43257</td><td bgcolor="#ff4f00">74</td></tr>
      <tr><td class="wide">function <tt><b>over_intersection</b></tt></td><td class="wide">952</td><td bgcolor="#ff0600">98</td><td bgcolor="#ff8b00">18</td><td bgcolor="#ffbb00">40</td><td bgcolor="#ff6100">4089</td><td bgcolor="#ff0000">162032</td><td bgcolor="#ff0000">49</td></tr>
      <tr><td class="wide">function <tt><b>pretty_typ</b></tt></td><td class="wide">236</td><td bgcolor="#ffc800">37</td><td bgcolor="#ffff00">7</td><td bgcolor="#ffc200">38</td><td bgcolor="#ffe000">1590</td><td bgcolor="#ff6500">60511</td><td bgcolor="#ff4000">73</td></tr>
      <tr><td class="wide">function <tt><b>reduce_ival_by_bound</b></tt></td><td class="wide">1230</td><td bgcolor="#ff0000">102</td><td bgcolor="#ff8b00">18</td><td bgcolor="#ff8500">51</td><td bgcolor="#ff4700">4607</td><td bgcolor="#ff0000">236171</td><td bgcolor="#ff0000">48</td></tr>
      <tr><td class="wide">function <tt><b>unsafe_join</b></tt></td><td class="wide">848</td><td bgcolor="#ff1600">93</td><td bgcolor="#ffb900">14</td><td bgcolor="#ff5f00">59</td><td bgcolor="#ff5b00">4213</td><td bgcolor="#ff0000">250567</td><td bgcolor="#ff0000">51</td></tr>
      <tr><td class="wide">function <tt><b>update_ival</b></tt></td><td class="wide">1436</td><td bgcolor="#ffac00">46</td><td bgcolor="#ffff00">7</td><td bgcolor="#ffff00">21</td><td bgcolor="#fff000">1287</td><td bgcolor="#ffbb00">27029</td><td bgcolor="#ff2b00">70</td></tr>
    </table>

    <h1>Module <tt>Offsetmap_bitwise</tt></h1>

    <h2>General metrics</h2>
    <table>
      <tr bgcolor="#ff0a00"><td class="wide"><b>N</b></td> <td>49</td></tr>
      <tr bgcolor="#ffa700"><td class="wide"><b>LOC</b></td> <td>541</td></tr>
      <tr bgcolor="#ff4b00"><td class="wide"><b>HD</b></td> <td>170</td></tr>
      <tr bgcolor="#ff9400"><td class="wide"><b>HV</b></td> <td>29578</td></tr>
      <tr bgcolor="#ff8c00"><td class="wide"><b>HE</b></td> <td>5040069</td></tr>
      <tr bgcolor="#ffff00"><td class="wide"><b>avgCC</b></td> <td>3</td></tr>
      <tr bgcolor="#ffff00"><td class="wide"><b>avgLOC</b></td> <td>11</td></tr>
      <tr bgcolor="#ffff00"><td class="wide"><b>avgHV</b></td> <td>398</td></tr>
      <tr bgcolor="#ffff00"><td class="wide"><b>MI</b></td> <td>101</td></tr>
    </table>

    <h2>Functions and methods</h2>
    <table>
      <tr><td class="wide"><b>name</b></td><td class="wide"><b>line</b></td><td><b>LOC</b></td><td><b>CC</b></td><td><b>HD</b></td><td><b>HV</b></td><td><b>HE</b></td><td><b>MI</b></td></tr>
      <tr><td class="wide">function <tt><b>copy_paste_map</b></tt></td><td class="wide">646</td><td bgcolor="#ffcf00">35</td><td bgcolor="#ffff00">6</td><td bgcolor="#ffea00">29</td><td bgcolor="#ffe200">1564</td><td bgcolor="#ff8a00">46135</td><td bgcolor="#ff4a00">74</td></tr>
      <tr><td class="wide">function <tt><b>find</b></tt></td><td class="wide">136</td><td bgcolor="#ffbc00">41</td><td bgcolor="#ffdc00">11</td><td bgcolor="#ffd900">33</td><td bgcolor="#ffe100">1572</td><td bgcolor="#ff7b00">51873</td><td bgcolor="#ff2a00">70</td></tr>
      <tr><td class="wide">function <tt><b>map2</b></tt></td><td class="wide">360</td><td bgcolor="#ff0000">147</td><td bgcolor="#ff5100">23</td><td bgcolor="#ff0000">106</td><td bgcolor="#ff0000">7051</td><td bgcolor="#ff0000">749884</td><td bgcolor="#ff0000">39</td></tr>
    </table>

    <h1>Module <tt>Path_lattice</tt></h1>

    <h2>General metrics</h2>
    <table>
      <tr bgcolor="#ffff00"><td class="wide"><b>N</b></td> <td>13</td></tr>
      <tr bgcolor="#ffff00"><td class="wide"><b>LOC</b></td> <td>128</td></tr>
      <tr bgcolor="#ffff00"><td class="wide"><b>HD</b></td> <td>89</td></tr>
      <tr bgcolor="#ffff00"><td class="wide"><b>HV</b></td> <td>5500</td></tr>
      <tr bgcolor="#ffff00"><td class="wide"><b>HE</b></td> <td>486838</td></tr>
      <tr bgcolor="#ffff00"><td class="wide"><b>avgCC</b></td> <td>3</td></tr>
      <tr bgcolor="#ffff00"><td class="wide"><b>avgLOC</b></td> <td>9</td></tr>
      <tr bgcolor="#ffff00"><td class="wide"><b>avgHV</b></td> <td>293</td></tr>
      <tr bgcolor="#ffff00"><td class="wide"><b>MI</b></td> <td>106</td></tr>
    </table>

    <h2>Functions and methods</h2>
    <table>
      <tr><td class="wide"><b>name</b></td><td class="wide"><b>line</b></td><td><b>LOC</b></td><td><b>CC</b></td><td><b>HD</b></td><td><b>HV</b></td><td><b>HE</b></td><td><b>MI</b></td></tr>
      <tr><td class="wide">function <tt><b>join_precise</b></tt></td><td class="wide">103</td><td bgcolor="#ffc200">39</td><td bgcolor="#ffff00">7</td><td bgcolor="#ffdf00">32</td><td bgcolor="#fff100">1261</td><td bgcolor="#ff9a00">40099</td><td bgcolor="#ff4300">73</td></tr>
    </table>

    <h1>Module <tt>PdgMarks</tt></h1>

    <h2>General metrics</h2>
    <table>
      <tr bgcolor="#ffff00"><td class="wide"><b>N</b></td> <td>15</td></tr>
      <tr bgcolor="#ffff00"><td class="wide"><b>LOC</b></td> <td>192</td></tr>
      <tr bgcolor="#ffff00"><td class="wide"><b>HD</b></td> <td>85</td></tr>
      <tr bgcolor="#ffff00"><td class="wide"><b>HV</b></td> <td>9962</td></tr>
      <tr bgcolor="#ffff00"><td class="wide"><b>HE</b></td> <td>847100</td></tr>
      <tr bgcolor="#ffff00"><td class="wide"><b>avgCC</b></td> <td>3</td></tr>
      <tr bgcolor="#ffff00"><td class="wide"><b>avgLOC</b></td> <td>9</td></tr>
      <tr bgcolor="#ffff00"><td class="wide"><b>avgHV</b></td> <td>330</td></tr>
      <tr bgcolor="#ffff00"><td class="wide"><b>MI</b></td> <td>105</td></tr>
    </table>

    <h2>Functions and methods</h2>
    <table>
      <tr><td class="wide"><b>name</b></td><td class="wide"><b>line</b></td><td><b>LOC</b></td><td><b>CC</b></td><td><b>HD</b></td><td><b>HV</b></td><td><b>HE</b></td><td><b>MI</b></td></tr>
      <tr><td class="wide">function <tt><b>add_to_to_prop</b></tt></td><td class="wide">186</td><td bgcolor="#ffdb00">31</td><td bgcolor="#ffdc00">11</td><td bgcolor="#fff500">27</td><td bgcolor="#ffe400">1512</td><td bgcolor="#ff9800">40933</td><td bgcolor="#ff5300">75</td></tr>
    </table>

    <h1>Module <tt>PdgTypes</tt></h1>

    <h2>General metrics</h2>
    <table>
      <tr bgcolor="#ff0000"><td class="wide"><b>N</b></td> <td>148</td></tr>
      <tr bgcolor="#ff8b00"><td class="wide"><b>LOC</b></td> <td>617</td></tr>
      <tr bgcolor="#ff9500"><td class="wide"><b>HD</b></td> <td>141</td></tr>
      <tr bgcolor="#ff3600"><td class="wide"><b>HV</b></td> <td>42473</td></tr>
      <tr bgcolor="#ff7100"><td class="wide"><b>HE</b></td> <td>6005490</td></tr>
      <tr bgcolor="#ffff00"><td class="wide"><b>avgCC</b></td> <td>1</td></tr>
      <tr bgcolor="#ffff00"><td class="wide"><b>avgLOC</b></td> <td>3</td></tr>
      <tr bgcolor="#ffff00"><td class="wide"><b>avgHV</b></td> <td>126</td></tr>
      <tr bgcolor="#ffff00"><td class="wide"><b>MI</b></td> <td>126</td></tr>
    </table>

    <h2>Functions and methods</h2>
    <table>
      <tr><td class="wide"><b>name</b></td><td class="wide"><b>line</b></td><td><b>LOC</b></td><td><b>CC</b></td><td><b>HD</b></td><td><b>HV</b></td><td><b>HE</b></td><td><b>MI</b></td></tr>
      <tr><td class="wide">function <tt><b>get_subgraph</b></tt></td><td class="wide">819</td><td bgcolor="#ffcf00">35</td><td bgcolor="#ffff00">7</td><td bgcolor="#ffeb00">29</td><td bgcolor="#ffe600">1485</td><td bgcolor="#ff9200">43284</td><td bgcolor="#ff4a00">74</td></tr>
      <tr><td class="wide">function <tt><b>vertex_attributes</b></tt></td><td class="wide">734</td><td bgcolor="#ff8f00">55</td><td bgcolor="#ffff00">4</td><td bgcolor="#fffd00">25</td><td bgcolor="#ff9c00">2926</td><td bgcolor="#ff4200">74266</td><td bgcolor="#ff0000">64</td></tr>
    </table>

    <h1>Module <tt>Printer</tt></h1>

    <h2>General metrics</h2>
    <table>
      <tr bgcolor="#ffff00"><td class="wide"><b>N</b></td> <td>17</td></tr>
      <tr bgcolor="#ffff00"><td class="wide"><b>LOC</b></td> <td>223</td></tr>
      <tr bgcolor="#ffff00"><td class="wide"><b>HD</b></td> <td>100</td></tr>
      <tr bgcolor="#ffff00"><td class="wide"><b>HV</b></td> <td>14344</td></tr>
      <tr bgcolor="#fff200"><td class="wide"><b>HE</b></td> <td>1428528</td></tr>
      <tr bgcolor="#ffff00"><td class="wide"><b>avgCC</b></td> <td>3</td></tr>
      <tr bgcolor="#ffff00"><td class="wide"><b>avgLOC</b></td> <td>11</td></tr>
      <tr bgcolor="#ffff00"><td class="wide"><b>avgHV</b></td> <td>386</td></tr>
      <tr bgcolor="#ffff00"><td class="wide"><b>MI</b></td> <td>101</td></tr>
    </table>

    <h2>Functions and methods</h2>
    <table>
      <tr><td class="wide"><b>name</b></td><td class="wide"><b>line</b></td><td><b>LOC</b></td><td><b>CC</b></td><td><b>HD</b></td><td><b>HV</b></td><td><b>HE</b></td><td><b>MI</b></td></tr>
      <tr><td class="wide">function <tt><b>compare_annotations</b></tt></td><td class="wide">29</td><td bgcolor="#ffcf00">35</td><td bgcolor="#ffff00">2</td><td bgcolor="#ff4d00">63</td><td bgcolor="#ffd300">1851</td><td bgcolor="#ff0000">117313</td><td bgcolor="#ff4a00">74</td></tr>
      <tr><td class="wide">method <tt><b>pAnnotatedStmt</b></tt></td><td class="wide">184</td><td bgcolor="#ffb500">43</td><td bgcolor="#fff300">9</td><td bgcolor="#ffd100">35</td><td bgcolor="#ffe400">1529</td><td bgcolor="#ff7800">53283</td><td bgcolor="#ff2900">70</td></tr>
    </table>

    <h1>Module <tt>Project</tt></h1>

    <h2>General metrics</h2>
    <table>
      <tr bgcolor="#ff0000"><td class="wide"><b>N</b></td> <td>107</td></tr>
      <tr bgcolor="#ff9500"><td class="wide"><b>LOC</b></td> <td>589</td></tr>
      <tr bgcolor="#ff9d00"><td class="wide"><b>HD</b></td> <td>138</td></tr>
      <tr bgcolor="#ff9400"><td class="wide"><b>HV</b></td> <td>29628</td></tr>
      <tr bgcolor="#ffa700"><td class="wide"><b>HE</b></td> <td>4100446</td></tr>
      <tr bgcolor="#ffff00"><td class="wide"><b>avgCC</b></td> <td>2</td></tr>
      <tr bgcolor="#ffff00"><td class="wide"><b>avgLOC</b></td> <td>5</td></tr>
      <tr bgcolor="#ffff00"><td class="wide"><b>avgHV</b></td> <td>142</td></tr>
      <tr bgcolor="#ffff00"><td class="wide"><b>MI</b></td> <td>118</td></tr>
    </table>

    <h2>Functions and methods</h2>
    <table>
      <tr><td class="wide"><b>name</b></td><td class="wide"><b>line</b></td><td><b>LOC</b></td><td><b>CC</b></td><td><b>HD</b></td><td><b>HV</b></td><td><b>HE</b></td><td><b>MI</b></td></tr>
      <tr><td class="wide">function <tt><b>load_projects</b></tt></td><td class="wide">612</td><td bgcolor="#ffa800">47</td><td bgcolor="#fff300">9</td><td bgcolor="#fff400">27</td><td bgcolor="#ffdd00">1656</td><td bgcolor="#ff8d00">45068</td><td bgcolor="#ff1900">68</td></tr>
      <tr><td class="wide">function <tt><b>unserialize</b></tt></td><td class="wide">147</td><td bgcolor="#ffd200">34</td><td bgcolor="#ffc500">13</td><td bgcolor="#ffe700">30</td><td bgcolor="#fff900">1105</td><td bgcolor="#ffac00">33138</td><td bgcolor="#ff5000">74</td></tr>
    </table>

    <h1>Module <tt>Properties_status</tt></h1>

    <h2>General metrics</h2>
    <table>
      <tr bgcolor="#ff0000"><td class="wide"><b>N</b></td> <td>75</td></tr>
      <tr bgcolor="#ff9900"><td class="wide"><b>LOC</b></td> <td>580</td></tr>
      <tr bgcolor="#ff6e00"><td class="wide"><b>HD</b></td> <td>157</td></tr>
      <tr bgcolor="#ff7b00"><td class="wide"><b>HV</b></td> <td>33036</td></tr>
      <tr bgcolor="#ff8800"><td class="wide"><b>HE</b></td> <td>5181120</td></tr>
      <tr bgcolor="#ffff00"><td class="wide"><b>avgCC</b></td> <td>2</td></tr>
      <tr bgcolor="#ffff00"><td class="wide"><b>avgLOC</b></td> <td>7</td></tr>
      <tr bgcolor="#ffff00"><td class="wide"><b>avgHV</b></td> <td>253</td></tr>
      <tr bgcolor="#ffff00"><td class="wide"><b>MI</b></td> <td>110</td></tr>
    </table>

    <h2>Functions and methods</h2>
    <table>
      <tr><td class="wide"><b>name</b></td><td class="wide"><b>line</b></td><td><b>LOC</b></td><td><b>CC</b></td><td><b>HD</b></td><td><b>HV</b></td><td><b>HE</b></td><td><b>MI</b></td></tr>
      <tr><td class="wide">function <tt><b>get_binding</b></tt></td><td class="wide">265</td><td bgcolor="#ff0000">100</td><td bgcolor="#ff8b00">18</td><td bgcolor="#ff2900">71</td><td bgcolor="#ff7100">3784</td><td bgcolor="#ff0000">268929</td><td bgcolor="#ff0000">49</td></tr>
    </table>

    <h1>Module <tt>Property</tt></h1>

    <h2>General metrics</h2>
    <table>
      <tr bgcolor="#ff5b00"><td class="wide"><b>N</b></td> <td>41</td></tr>
      <tr bgcolor="#fff100"><td class="wide"><b>LOC</b></td> <td>336</td></tr>
      <tr bgcolor="#ffe600"><td class="wide"><b>HD</b></td> <td>110</td></tr>
      <tr bgcolor="#ffc200"><td class="wide"><b>HV</b></td> <td>23344</td></tr>
      <tr bgcolor="#ffd200"><td class="wide"><b>HE</b></td> <td>2561340</td></tr>
      <tr bgcolor="#ffff00"><td class="wide"><b>avgCC</b></td> <td>2</td></tr>
      <tr bgcolor="#ffff00"><td class="wide"><b>avgLOC</b></td> <td>7</td></tr>
      <tr bgcolor="#ffff00"><td class="wide"><b>avgHV</b></td> <td>349</td></tr>
      <tr bgcolor="#ffff00"><td class="wide"><b>MI</b></td> <td>108</td></tr>
    </table>

    <h2>Functions and methods</h2>
    <table>
      <tr><td class="wide"><b>name</b></td><td class="wide"><b>line</b></td><td><b>LOC</b></td><td><b>CC</b></td><td><b>HD</b></td><td><b>HV</b></td><td><b>HE</b></td><td><b>MI</b></td></tr>
      <tr><td class="wide">function <tt><b>compare</b></tt></td><td class="wide">209</td><td bgcolor="#ff9200">54</td><td bgcolor="#ffe700">10</td><td bgcolor="#ffbe00">39</td><td bgcolor="#ff8200">3435</td><td bgcolor="#ff0000">133557</td><td bgcolor="#ff0000">62</td></tr>
      <tr><td class="wide">function <tt><b>equal</b></tt></td><td class="wide">175</td><td bgcolor="#ffd500">33</td><td bgcolor="#ffff00">3</td><td bgcolor="#ffcb00">36</td><td bgcolor="#ffb800">2377</td><td bgcolor="#ff2400">85782</td><td bgcolor="#ff4600">73</td></tr>
    </table>

    <h1>Module <tt>Relations_type</tt></h1>

    <h2>General metrics</h2>
    <table>
      <tr bgcolor="#ff0000"><td class="wide"><b>N</b></td> <td>152</td></tr>
      <tr bgcolor="#ff0000"><td class="wide"><b>LOC</b></td> <td>1354</td></tr>
      <tr bgcolor="#ff0000"><td class="wide"><b>HD</b></td> <td>211</td></tr>
      <tr bgcolor="#ff0000"><td class="wide"><b>HV</b></td> <td>63522</td></tr>
      <tr bgcolor="#ff0000"><td class="wide"><b>HE</b></td> <td>13420670</td></tr>
      <tr bgcolor="#ffff00"><td class="wide"><b>avgCC</b></td> <td>2</td></tr>
      <tr bgcolor="#ffff00"><td class="wide"><b>avgLOC</b></td> <td>8</td></tr>
      <tr bgcolor="#ffff00"><td class="wide"><b>avgHV</b></td> <td>227</td></tr>
      <tr bgcolor="#ffff00"><td class="wide"><b>MI</b></td> <td>108</td></tr>
    </table>

    <h2>Functions and methods</h2>
    <table>
      <tr><td class="wide"><b>name</b></td><td class="wide"><b>line</b></td><td><b>LOC</b></td><td><b>CC</b></td><td><b>HD</b></td><td><b>HV</b></td><td><b>HE</b></td><td><b>MI</b></td></tr>
      <tr><td class="wide">function <tt><b>add_equality</b></tt></td><td class="wide">1346</td><td bgcolor="#ff4c00">76</td><td bgcolor="#ffff00">8</td><td bgcolor="#ffb300">41</td><td bgcolor="#ffba00">2343</td><td bgcolor="#ff0800">96891</td><td bgcolor="#ff0000">59</td></tr>
      <tr><td class="wide">function <tt><b>add_mem</b></tt></td><td class="wide">1058</td><td bgcolor="#ff0000">107</td><td bgcolor="#ffff00">8</td><td bgcolor="#ffbe00">39</td><td bgcolor="#ff9500">3075</td><td bgcolor="#ff0000">119852</td><td bgcolor="#ff0000">52</td></tr>
      <tr><td class="wide">function <tt><b>copy_from_virtual</b></tt></td><td class="wide">863</td><td bgcolor="#ff8900">57</td><td bgcolor="#ffff00">7</td><td bgcolor="#ffff00">18</td><td bgcolor="#ffd600">1794</td><td bgcolor="#ffad00">32451</td><td bgcolor="#ff0000">65</td></tr>
      <tr><td class="wide">function <tt><b>find_mem</b></tt></td><td class="wide">981</td><td bgcolor="#ff6f00">65</td><td bgcolor="#ffff00">6</td><td bgcolor="#ffff00">20</td><td bgcolor="#ffd600">1792</td><td bgcolor="#ffa400">36263</td><td bgcolor="#ff0000">63</td></tr>
      <tr><td class="wide">function <tt><b>is_included_rel</b></tt></td><td class="wide">496</td><td bgcolor="#ffc800">37</td><td bgcolor="#ffff00">8</td><td bgcolor="#fff200">28</td><td bgcolor="#ffef00">1301</td><td bgcolor="#ffa500">35939</td><td bgcolor="#ff4700">73</td></tr>
      <tr><td class="wide">function <tt><b>join</b></tt></td><td class="wide">580</td><td bgcolor="#ff1600">93</td><td bgcolor="#ffe700">10</td><td bgcolor="#ffd900">33</td><td bgcolor="#ffa300">2790</td><td bgcolor="#ff1300">92437</td><td bgcolor="#ff0000">54</td></tr>
      <tr><td class="wide">function <tt><b>propagate_change_from_real_to_virt</b></tt></td><td class="wide">1185</td><td bgcolor="#ff0000">102</td><td bgcolor="#ffd000">12</td><td bgcolor="#ffd000">35</td><td bgcolor="#ffa600">2738</td><td bgcolor="#ff0900">96128</td><td bgcolor="#ff0000">52</td></tr>
      <tr><td class="wide">function <tt><b>reduce_equality</b></tt></td><td class="wide">1438</td><td bgcolor="#ff0000">111</td><td bgcolor="#fff300">9</td><td bgcolor="#ff8400">51</td><td bgcolor="#ff8300">3428</td><td bgcolor="#ff0000">176135</td><td bgcolor="#ff0000">50</td></tr>
      <tr><td class="wide">function <tt><b>shift_location</b></tt></td><td class="wide">1591</td><td bgcolor="#ffb500">43</td><td bgcolor="#ffff00">5</td><td bgcolor="#ffe400">31</td><td bgcolor="#ffdf00">1611</td><td bgcolor="#ff8100">49534</td><td bgcolor="#ff2e00">71</td></tr>
    </table>

    <h1>Module <tt>State_imp</tt></h1>

    <h2>General metrics</h2>
    <table>
      <tr bgcolor="#ffff00"><td class="wide"><b>N</b></td> <td>21</td></tr>
      <tr bgcolor="#ffff00"><td class="wide"><b>LOC</b></td> <td>141</td></tr>
      <tr bgcolor="#ffff00"><td class="wide"><b>HD</b></td> <td>92</td></tr>
      <tr bgcolor="#ffff00"><td class="wide"><b>HV</b></td> <td>5437</td></tr>
      <tr bgcolor="#ffff00"><td class="wide"><b>HE</b></td> <td>500310</td></tr>
      <tr bgcolor="#ffff00"><td class="wide"><b>avgCC</b></td> <td>2</td></tr>
      <tr bgcolor="#ffff00"><td class="wide"><b>avgLOC</b></td> <td>6</td></tr>
      <tr bgcolor="#ffff00"><td class="wide"><b>avgHV</b></td> <td>162</td></tr>
      <tr bgcolor="#ffff00"><td class="wide"><b>MI</b></td> <td>115</td></tr>
    </table>

    <h2>Functions and methods</h2>
    <table>
      <tr><td class="wide"><b>name</b></td><td class="wide"><b>line</b></td><td><b>LOC</b></td><td><b>CC</b></td><td><b>HD</b></td><td><b>HV</b></td><td><b>HE</b></td><td><b>MI</b></td></tr>
      <tr><td class="wide">function <tt><b>add_exn</b></tt></td><td class="wide">81</td><td bgcolor="#ffc200">39</td><td bgcolor="#ffff00">8</td><td bgcolor="#ffb700">40</td><td bgcolor="#ffe900">1423</td><td bgcolor="#ff6d00">57559</td><td bgcolor="#ff3b00">72</td></tr>
    </table>

    <h1>Module <tt>State_topological</tt></h1>

    <h2>General metrics</h2>
    <table>
      <tr bgcolor="#ffff00"><td class="wide"><b>N</b></td> <td>2</td></tr>
      <tr bgcolor="#ffff00"><td class="wide"><b>LOC</b></td> <td>59</td></tr>
      <tr bgcolor="#ffff00"><td class="wide"><b>HD</b></td> <td>53</td></tr>
      <tr bgcolor="#ffff00"><td class="wide"><b>HV</b></td> <td>2254</td></tr>
      <tr bgcolor="#ffff00"><td class="wide"><b>HE</b></td> <td>119775</td></tr>
      <tr bgcolor="#ffc600"><td class="wide"><b>avgCC</b></td> <td>8</td></tr>
      <tr bgcolor="#ffd700"><td class="wide"><b>avgLOC</b></td> <td>25</td></tr>
      <tr bgcolor="#ffff00"><td class="wide"><b>avgHV</b></td> <td>868</td></tr>
      <tr bgcolor="#ff8f00"><td class="wide"><b>MI</b></td> <td>82</td></tr>
    </table>

    <h2>Functions and methods</h2>
    <table>
      <tr><td class="wide"><b>name</b></td><td class="wide"><b>line</b></td><td><b>LOC</b></td><td><b>CC</b></td><td><b>HD</b></td><td><b>HV</b></td><td><b>HE</b></td><td><b>MI</b></td></tr>
      <tr><td class="wide">function <tt><b>fold</b></tt></td><td class="wide">34</td><td bgcolor="#ffa500">48</td><td bgcolor="#ffb900">14</td><td bgcolor="#ffcf00">35</td><td bgcolor="#ffdc00">1673</td><td bgcolor="#ff6900">58958</td><td bgcolor="#ff0c00">66</td></tr>
    </table>

    <h1>Module <tt>Unmarshal</tt></h1>

    <h2>General metrics</h2>
    <table>
      <tr bgcolor="#ff0000"><td class="wide"><b>N</b></td> <td>86</td></tr>
      <tr bgcolor="#ff9000"><td class="wide"><b>LOC</b></td> <td>603</td></tr>
      <tr bgcolor="#ff0000"><td class="wide"><b>HD</b></td> <td>210</td></tr>
      <tr bgcolor="#ff6700"><td class="wide"><b>HV</b></td> <td>35819</td></tr>
      <tr bgcolor="#ff4500"><td class="wide"><b>HE</b></td> <td>7538579</td></tr>
      <tr bgcolor="#ffff00"><td class="wide"><b>avgCC</b></td> <td>2</td></tr>
      <tr bgcolor="#ffff00"><td class="wide"><b>avgLOC</b></td> <td>7</td></tr>
      <tr bgcolor="#ffff00"><td class="wide"><b>avgHV</b></td> <td>253</td></tr>
      <tr bgcolor="#ffff00"><td class="wide"><b>MI</b></td> <td>111</td></tr>
    </table>

    <h2>Functions and methods</h2>
    <table>
      <tr><td class="wide"><b>name</b></td><td class="wide"><b>line</b></td><td><b>LOC</b></td><td><b>CC</b></td><td><b>HD</b></td><td><b>HV</b></td><td><b>HE</b></td><td><b>MI</b></td></tr>
      <tr><td class="wide">function <tt><b>input_val</b></tt></td><td class="wide">380</td><td bgcolor="#ff0000">192</td><td bgcolor="#ff9600">17</td><td bgcolor="#ff0000">101</td><td bgcolor="#ff0000">8590</td><td bgcolor="#ff0000">865315</td><td bgcolor="#ff0000">35</td></tr>
    </table>

    <h1>Module <tt>Unroll_loops</tt></h1>

    <h2>General metrics</h2>
    <table>
      <tr bgcolor="#ffff00"><td class="wide"><b>N</b></td> <td>9</td></tr>
      <tr bgcolor="#ffff00"><td class="wide"><b>LOC</b></td> <td>254</td></tr>
      <tr bgcolor="#ffff00"><td class="wide"><b>HD</b></td> <td>89</td></tr>
      <tr bgcolor="#ffff00"><td class="wide"><b>HV</b></td> <td>12121</td></tr>
      <tr bgcolor="#fffc00"><td class="wide"><b>HE</b></td> <td>1079450</td></tr>
      <tr bgcolor="#ffff00"><td class="wide"><b>avgCC</b></td> <td>4</td></tr>
      <tr bgcolor="#ffcf00"><td class="wide"><b>avgLOC</b></td> <td>27</td></tr>
      <tr bgcolor="#fffe00"><td class="wide"><b>avgHV</b></td> <td>1002</td></tr>
      <tr bgcolor="#ff8400"><td class="wide"><b>MI</b></td> <td>81</td></tr>
    </table>

    <h2>Functions and methods</h2>
    <table>
      <tr><td class="wide"><b>name</b></td><td class="wide"><b>line</b></td><td><b>LOC</b></td><td><b>CC</b></td><td><b>HD</b></td><td><b>HV</b></td><td><b>HE</b></td><td><b>MI</b></td></tr>
      <tr><td class="wide">function <tt><b>copy_stmt</b></tt></td><td class="wide">78</td><td bgcolor="#ffac00">46</td><td bgcolor="#ffe700">10</td><td bgcolor="#fff100">28</td><td bgcolor="#ffd400">1841</td><td bgcolor="#ff7d00">51408</td><td bgcolor="#ff1500">68</td></tr>
      <tr><td class="wide">function <tt><b>copy_stmtkind</b></tt></td><td class="wide">126</td><td bgcolor="#ff6c00">66</td><td bgcolor="#ffff00">6</td><td bgcolor="#ffd500">34</td><td bgcolor="#ffb200">2503</td><td bgcolor="#ff2700">84834</td><td bgcolor="#ff0000">61</td></tr>
      <tr><td class="wide">method <tt><b>vstmt_aux</b></tt></td><td class="wide">228</td><td bgcolor="#ff7900">62</td><td bgcolor="#ffff00">7</td><td bgcolor="#ffc500">37</td><td bgcolor="#ffac00">2624</td><td bgcolor="#ff0400">98228</td><td bgcolor="#ff0000">62</td></tr>
    </table>

    <h1>Module <tt>Visitor</tt></h1>

    <h2>General metrics</h2>
    <table>
      <tr bgcolor="#ff0000"><td class="wide"><b>N</b></td> <td>52</td></tr>
      <tr bgcolor="#fff000"><td class="wide"><b>LOC</b></td> <td>339</td></tr>
      <tr bgcolor="#ffdf00"><td class="wide"><b>HD</b></td> <td>112</td></tr>
      <tr bgcolor="#ffe700"><td class="wide"><b>HV</b></td> <td>18172</td></tr>
      <tr bgcolor="#ffe100"><td class="wide"><b>HE</b></td> <td>2042841</td></tr>
      <tr bgcolor="#ffff00"><td class="wide"><b>avgCC</b></td> <td>2</td></tr>
      <tr bgcolor="#ffff00"><td class="wide"><b>avgLOC</b></td> <td>6</td></tr>
      <tr bgcolor="#ffff00"><td class="wide"><b>avgHV</b></td> <td>220</td></tr>
      <tr bgcolor="#ffff00"><td class="wide"><b>MI</b></td> <td>114</td></tr>
    </table>

    <h2>Functions and methods</h2>
    <table>
      <tr><td class="wide"><b>name</b></td><td class="wide"><b>line</b></td><td><b>LOC</b></td><td><b>CC</b></td><td><b>HD</b></td><td><b>HV</b></td><td><b>HE</b></td><td><b>MI</b></td></tr>
      <tr><td class="wide">method <tt><b>vglob</b></tt></td><td class="wide">198</td><td bgcolor="#ff0000">104</td><td bgcolor="#ff4500">24</td><td bgcolor="#ff3f00">66</td><td bgcolor="#ff5600">4312</td><td bgcolor="#ff0000">285572</td><td bgcolor="#ff0000">47</td></tr>
      <tr><td class="wide">method <tt><b>vstmt</b></tt></td><td class="wide">95</td><td bgcolor="#ff1f00">90</td><td bgcolor="#ff7300">20</td><td bgcolor="#ff5e00">60</td><td bgcolor="#ff6100">4088</td><td bgcolor="#ff0000">243892</td><td bgcolor="#ff0000">50</td></tr>
    </table>

    <h1>Module <tt>Widen</tt></h1>

    <h2>General metrics</h2>
    <table>
      <tr bgcolor="#ffff00"><td class="wide"><b>N</b></td> <td>8</td></tr>
      <tr bgcolor="#ffff00"><td class="wide"><b>LOC</b></td> <td>215</td></tr>
      <tr bgcolor="#ffff00"><td class="wide"><b>HD</b></td> <td>70</td></tr>
      <tr bgcolor="#ffff00"><td class="wide"><b>HV</b></td> <td>9470</td></tr>
      <tr bgcolor="#ffff00"><td class="wide"><b>HE</b></td> <td>666926</td></tr>
      <tr bgcolor="#ffff00"><td class="wide"><b>avgCC</b></td> <td>4</td></tr>
      <tr bgcolor="#ffd800"><td class="wide"><b>avgLOC</b></td> <td>25</td></tr>
      <tr bgcolor="#ffff00"><td class="wide"><b>avgHV</b></td> <td>957</td></tr>
      <tr bgcolor="#ff9400"><td class="wide"><b>MI</b></td> <td>82</td></tr>
    </table>

    <h2>Functions and methods</h2>
    <table>
      <tr><td class="wide"><b>name</b></td><td class="wide"><b>line</b></td><td><b>LOC</b></td><td><b>CC</b></td><td><b>HD</b></td><td><b>HV</b></td><td><b>HE</b></td><td><b>MI</b></td></tr>
      <tr><td class="wide">method <tt><b>vexpr</b></tt></td><td class="wide">179</td><td bgcolor="#ffa200">49</td><td bgcolor="#ffff00">4</td><td bgcolor="#ffb500">41</td><td bgcolor="#ffb600">2414</td><td bgcolor="#ff0300">98689</td><td bgcolor="#ff0d00">67</td></tr>
      <tr><td class="wide">method <tt><b>vstmt</b></tt></td><td class="wide">40</td><td bgcolor="#ff0000">125</td><td bgcolor="#ff7f00">19</td><td bgcolor="#ff9000">49</td><td bgcolor="#ff4000">4733</td><td bgcolor="#ff0000">231009</td><td bgcolor="#ff0000">44</td></tr>
    </table>

    <h1>Module <tt>Widen_type</tt></h1>

    <h2>General metrics</h2>
    <table>
      <tr bgcolor="#ffff00"><td class="wide"><b>N</b></td> <td>10</td></tr>
      <tr bgcolor="#ffff00"><td class="wide"><b>LOC</b></td> <td>124</td></tr>
      <tr bgcolor="#ffff00"><td class="wide"><b>HD</b></td> <td>52</td></tr>
      <tr bgcolor="#ffff00"><td class="wide"><b>HV</b></td> <td>4060</td></tr>
      <tr bgcolor="#ffff00"><td class="wide"><b>HE</b></td> <td>209985</td></tr>
      <tr bgcolor="#ffff00"><td class="wide"><b>avgCC</b></td> <td>2</td></tr>
      <tr bgcolor="#ffff00"><td class="wide"><b>avgLOC</b></td> <td>10</td></tr>
      <tr bgcolor="#ffff00"><td class="wide"><b>avgHV</b></td> <td>249</td></tr>
      <tr bgcolor="#ffff00"><td class="wide"><b>MI</b></td> <td>104</td></tr>
    </table>

    <h2>Functions and methods</h2>
    <table>
      <tr><td class="wide"><b>name</b></td><td class="wide"><b>line</b></td><td><b>LOC</b></td><td><b>CC</b></td><td><b>HD</b></td><td><b>HV</b></td><td><b>HE</b></td><td><b>MI</b></td></tr>
      <tr><td class="wide">function <tt><b>add_num_hints</b></tt></td><td class="wide">95</td><td bgcolor="#ff9500">53</td><td bgcolor="#ffff00">5</td><td bgcolor="#ffff00">22</td><td bgcolor="#fff300">1221</td><td bgcolor="#ffbc00">26939</td><td bgcolor="#ff1e00">69</td></tr>
    </table>

  <hr/><p>Generated by OCaml Metrics by Marcin Sulikowski.<br />
  <a href="http://students.mimuw.edu.pl/~ms248283/">  Author's homepage</a><br />
  <a href="http://students.mimuw.edu.pl/~ms248283/ocaml-metrics/">  OCaml Metrics at OCamlForge</a></p>
  </body>
</html>