WARNING - log/bspcmdline01 did not appear to complete execution
WARNING - log/psxrdwrv did not appear to complete execution
WARNING - log/sp20 did not appear to complete execution
WARNING - log/spintrcritical01 did not appear to complete execution
WARNING - log/spintrcritical02 did not appear to complete execution
WARNING - log/spintrcritical03 did not appear to complete execution
WARNING - log/spintrcritical04 did not appear to complete execution
WARNING - log/spintrcritical05 did not appear to complete execution
WARNING - log/spintrcritical08 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/spintrcritical16 did not appear to complete execution
WARNING - log/spintrcritical17 did not appear to complete execution
WARNING - log/tmck did not appear to complete execution
Optimization Level :  -O2
POSIX Enabled      :  no
Developmental Code :  yes
Bytes Analyzed           : 116194
Bytes Not Executed       : 23188
Percentage Executed      : 80.04
Percentage Not Executed  : 19.96
Uncovered ranges found   : 331
No branch information found
====== Largest Range Sizes (Size and Count)======
  1028      1
   932      1
   852      1
   748      1
   624      1
   548      2
   504      1
   492      1
   480      1
   472      1
   408      1
   404      1
   364      1
   324      1
   296      1
=====================================