WARNING - log/block05 did not appear to complete execution
WARNING - log/psxintrcritical01 did not appear to complete execution
WARNING - log/spintrcritical15 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      :  yes
Developmental Code :  no
Bytes Analyzed           : 69066
Bytes Not Executed       : 932
Percentage Executed      : 98.65
Percentage Not Executed  : 1.349
Uncovered ranges found   : 320
MAIN No branch information found
====== Largest Range Sizes (Size and Count)======
    52      2
    46      2
    34      1
    26      2
    24      1
    20      1
    18      1
    16      5
    14      2
    12      6
    10      6
     8      3
     6      5
     4      6
     2    277
=====================================