WARNING - log/block05 did not appear to complete execution
WARNING - log/spintrcritical15 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 :  -Os
POSIX Enabled      :  no
Developmental Code :  no
Bytes Analyzed           : 37613
Bytes Not Executed       : 220
Percentage Executed      : 99.42
Percentage Not Executed  : 0.5849
Uncovered ranges found   : 156
MAIN No branch information found
====== Largest Range Sizes (Size and Count)======
    12      1
    10      1
     8      1
     6      2
     4      8
     2    143
=====================================