WARNING - log/block08 did not appear to complete execution
WARNING - log/bspcmdline01 did not appear to complete execution
WARNING - log/paranoia did not appear to complete execution
WARNING - log/psx07 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/spintrcritical10 did not appear to complete execution
WARNING - log/spintrcritical11 did not appear to complete execution
WARNING - log/spintrcritical12 did not appear to complete execution
WARNING - log/spintrcritical15 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           : 120070
Bytes Not Executed       : 19469
Percentage Executed      : 83.79
Percentage Not Executed  : 16.21
Uncovered ranges found   : 278
No branch information found
====== Largest Range Sizes (Size and Count)======
  1032      1
   900      1
   856      1
   760      1
   536      1
   520      1
   512      1
   448      1
   440      1
   384      2
   300      1
   296      1
   288      1
   276      1
   244      1
=====================================