WARNING - log/paranoia did not appear to complete execution
WARNING - log/psx05 did not appear to complete execution
WARNING - log/psxualarm did not appear to complete execution
WARNING - log/rtmonuse did not appear to complete execution
WARNING - log/sp20 did not appear to complete execution
WARNING - log/sp31 did not appear to complete execution
WARNING - log/sp39 did not appear to complete execution
WARNING - log/sp41 did not appear to complete execution
WARNING - log/unlimited did not appear to complete execution
Optimization Level :  -O2
POSIX Enabled      :  yes
Developmental Code :  no
Bytes Analyzed           : 68906
Bytes Not Executed       : 4253
Percentage Executed      : 93.83
Percentage Not Executed  : 6.172
Uncovered ranges found   : 133
No branch information found
====== Largest Range Sizes (Size and Count)======
   512      1
   140      1
   132      1
   124      1
   116      1
   112      1
   108      1
    88      1
    84      3
    80      2
    72      3
    68      1
    60      1
    56      1
    48      4
=====================================