WARNING - log/minimum did not appear to complete execution
WARNING - log/psxintrcritical01 did not appear to complete execution
WARNING - log/sp53 did not appear to complete execution
WARNING - log/spintrcritical08 did not appear to complete execution
WARNING - log/spintrcritical11 did not appear to complete execution
WARNING - log/spintrcritical15 did not appear to complete execution
Optimization Level :  -O2
POSIX Enabled      :  yes
Developmental Code :  no
29 uncovered ranges found
Bytes Analyzed          : 89500
Bytes Not Executed      : 360
Percentage Executed     :  99.6
Percentage Not Executed : 0.4022
====== Largest Range Sizes (Size and Count)======
    36      1
    32      2
    28      2
    20      2
    16      4
    12      2
     8      3
     4     13
=====================================