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/psxintrcritical01 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/spprintk did not appear to complete execution
WARNING - log/stringto01 did not appear to complete execution
Optimization Level :  -O2
POSIX Enabled      :  yes
Developmental Code :  yes
Bytes Analyzed           : 120377
Bytes Not Executed       : 21740
Percentage Executed      : 81.94
Percentage Not Executed  : 18.06
Uncovered ranges found   : 358
Total branches found     : 2828
Uncovered branches found : 1114
   939 branches always taken
   175 branches never taken
====== Largest Range Sizes (Size and Count)======
  1022      1
  1004      1
   808      1
   696      1
   528      1
   502      3
   500      1
   410      1
   392      1
   322      1
   288      1
   256      1
   252      1
   226      1
   202      1
=====================================