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/sp05 did not appear to complete execution
WARNING - log/sp42 did not appear to complete execution
WARNING - log/sp53 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/ticker did not appear to complete execution
Optimization Level :  -O2
POSIX Enabled      :  yes
Developmental Code :  no
14 uncovered ranges found
Bytes Analyzed          : 69284
Bytes Not Executed      : 152
Percentage Executed     : 99.78
Percentage Not Executed : 0.2194
====== Largest Range Sizes (Size and Count)======
    32      1
    24      1
    20      1
    16      1
    12      1
     8      3
     4      6
=====================================