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 :  -Os
POSIX Enabled      :  yes
Developmental Code :  yes
Bytes Analyzed           : 112257
Bytes Not Executed       : 16703
Percentage Executed      : 85.12
Percentage Not Executed  : 14.88
Uncovered ranges found   : 276
No branch information found
====== Largest Range Sizes (Size and Count)======
   968      1
   836      1
   828      1
   708      1
   476      1
   448      1
   420      1
   396      1
   384      1
   368      1
   360      1
   356      1
   288      1
   280      1
   248      1
=====================================