WARNING - log/spintrcritical15 did not appear to complete execution
WARNING - log/spintrcritical16 did not appear to complete execution
WARNING - log/spintrcritical17 did not appear to complete execution
WARNING - log/spprintk did not appear to complete execution
WARNING - log/stringto01 did not appear to complete execution
Optimization Level :  -O2
POSIX Enabled      :  no
Developmental Code :  no
Bytes Analyzed           : 43013
Bytes Not Executed       : 594
Percentage Executed      : 98.62
Percentage Not Executed  : 1.381
Uncovered ranges found   : 181
MAIN No branch information found
====== Largest Range Sizes (Size and Count)======
    46      2
    34      1
    26      1
    24      2
    20      1
    16      3
    14      2
    12      3
    10      7
     8      1
     6      4
     4      2
     2    152
=====================================