WARNING - log/block05 did not appear to complete execution
WARNING - log/paranoia 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/sp42 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
251 uncovered ranges found
Bytes Analyzed          : 115672
Bytes Not Executed      : 19324
Percentage Executed     : 83.29
Percentage Not Executed : 16.71
====== Largest Range Sizes (Size and Count)======
  1340      1
  1184      1
  1080      1
   988      1
   828      1
   664      1
   656      1
   608      1
   504      2
   468      1
   428      1
   424      1
   364      1
   288      1
   280      1
=====================================