WARNING - log/block01 did not appear to complete execution
WARNING - log/block02 did not appear to complete execution
WARNING - log/block03 did not appear to complete execution
WARNING - log/block04 did not appear to complete execution
WARNING - log/block05 did not appear to complete execution
WARNING - log/block07 did not appear to complete execution
WARNING - log/block09 did not appear to complete execution
WARNING - log/block10 did not appear to complete execution
WARNING - log/bspcmdline01 did not appear to complete execution
WARNING - log/psxrdwrv 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 :  -Os
POSIX Enabled      :  no
Developmental Code :  no
Bytes Analyzed           : 37359
Bytes Not Executed       : 169
Percentage Executed      : 99.55
Percentage Not Executed  : 0.4524
Uncovered ranges found   : 19
Total branches found     : 1325
Uncovered branches found : 542
   524 branches always taken
   18 branches never taken
====== Largest Range Sizes (Size and Count)======
    36      1
    26      1
    20      1
    12      1
    10      2
     8      1
     6      2
     4      8
     2      2
=====================================