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/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      :  no
Developmental Code :  no
Bytes Analyzed           : 43066
Bytes Not Executed       : 72
Percentage Executed      : 99.83
Percentage Not Executed  : 0.1672
Uncovered ranges found   : 9
No branch information found
====== Largest Range Sizes (Size and Count)======
    24      1
     8      4
     4      4
=====================================